Safe Haskell	Safe-Inferred
Language	Haskell2010

FFI.AgdaUnparse

Synopsis

usToHyphen ∷ String → String
class AgdaUnparse a where
- agdaUnparse ∷ a → Doc ann
renderAgdaUnparse ∷ AgdaUnparse a ⇒ a → String
agdaUnfold ∷ (AgdaUnparse a, Foldable f) ⇒ f a → Doc ann

Documentation

usToHyphen ∷ String → String Source #

class AgdaUnparse a where Source #

A class for types that can be unparsed to Agda code.

Methods

agdaUnparse ∷ a → Doc ann Source #

Instances

Instances details

AgdaUnparse ByteString Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ ByteString → Doc ann Source #
AgdaUnparse Element Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Element → Doc ann Source #
AgdaUnparse Element Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Element → Doc ann Source #
AgdaUnparse MlResult Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ MlResult → Doc ann Source #
AgdaUnparse Data Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Data → Doc ann Source #
AgdaUnparse DefaultFun Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ DefaultFun → Doc ann Source #
AgdaUnparse Value Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Value → Doc ann Source #
AgdaUnparse Inline Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Inline → Doc ann Source #
AgdaUnparse CertifiedOptStage Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ CertifiedOptStage → Doc ann Source #
AgdaUnparse UncertifiedOptStage Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ UncertifiedOptStage → Doc ann Source #
AgdaUnparse UTerm Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ UTerm → Doc ann Source #
AgdaUnparse Text Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Text → Doc ann Source #
AgdaUnparse Integer Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Integer → Doc ann Source #
AgdaUnparse Natural Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Natural → Doc ann Source #
AgdaUnparse () Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ () → Doc ann Source #
AgdaUnparse Bool Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Bool → Doc ann Source #
AgdaUnparse Char Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Char → Doc ann Source #
AgdaUnparse (DefaultUni (Esc a)) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ DefaultUni (Esc a) → Doc ann Source #
AgdaUnparse term ⇒ AgdaUnparse (Hints term) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Hints term → Doc ann Source #
AgdaUnparse term ⇒ AgdaUnparse (InlinePlus term) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ InlinePlus term → Doc ann Source #
AgdaUnparse a ⇒ AgdaUnparse (Vector a) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Vector a → Doc ann Source #
AgdaUnparse a ⇒ AgdaUnparse [a] Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ [a] → Doc ann Source #
(AgdaUnparse a, AgdaUnparse b) ⇒ AgdaUnparse (Either a b) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Either a b → Doc ann Source #
(AgdaUnparse k, AgdaUnparse v) ⇒ AgdaUnparse (Map k v) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Map k v → Doc ann Source #
(AgdaUnparse a, AgdaUnparse b) ⇒ AgdaUnparse (NonEmptySep a b) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ NonEmptySep a b → Doc ann Source #
AgdaUnparse (Some (ValueOf DefaultUni)) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Some (ValueOf DefaultUni) → Doc ann Source #
(AgdaUnparse a, AgdaUnparse b) ⇒ AgdaUnparse (a, b) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ (a, b) → Doc ann Source #

renderAgdaUnparse ∷ AgdaUnparse a ⇒ a → String Source #

Render an AgdaUnparse value to a String.

agdaUnfold ∷ (AgdaUnparse a, Foldable f) ⇒ f a → Doc ann Source #