Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
FFI.AgdaUnparse
Synopsis
- usToHyphen ∷ String → String
- class AgdaUnparse a where
- agdaUnparse ∷ a → String
- agdaUnfold ∷ (AgdaUnparse a, Foldable f) ⇒ f a → String
Documentation
usToHyphen ∷ String → String Source #
class AgdaUnparse a where Source #
A class for types that can be unparsed to Agda code.
Methods
agdaUnparse ∷ a → String Source #
Instances
agdaUnfold ∷ (AgdaUnparse a, Foldable f) ⇒ f a → String Source #