FFI.AgdaUnparse

plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs

Safe Haskell	Safe-Inferred
Language	Haskell2010

FFI.AgdaUnparse

Synopsis

usToHyphen :: DefaultUni) -> String #

(AgdaUnparse a, AgdaUnparse b) => AgdaUnparse (a, b) #

Instance details

Defined in FFI.AgdaUnparse

Methods

agdaUnparse :: (a, b) -> String #

agdaUnfold :: (AgdaUnparse a, Foldable f) => f a -> String #