Safe Haskell	Safe-Inferred
Language	Haskell2010

FFI.AgdaUnparse

Synopsis

usToHyphen ∷ String → String
class AgdaUnparse a where
- agdaUnparse ∷ a → String
agdaUnparseValue ∷ DSum (ValueOf DefaultUni) Identity → String
mkValueDSum ∷ Some (ValueOf DefaultUni) → DSum (ValueOf DefaultUni) Identity

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

Instances details

AgdaUnparse ByteString Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ ByteString → String Source #
AgdaUnparse Element Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Element → String Source #
AgdaUnparse Element Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Element → String Source #
AgdaUnparse MlResult Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ MlResult → String Source #
AgdaUnparse Data Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Data → String Source #
AgdaUnparse DefaultFun Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ DefaultFun → String Source #
AgdaUnparse SimplifierStage Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ SimplifierStage → String Source #
AgdaUnparse UTerm Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ UTerm → String Source #
AgdaUnparse Text Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Text → String Source #
AgdaUnparse Integer Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Integer → String Source #
AgdaUnparse Natural Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Natural → String Source #
AgdaUnparse () Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ () → String Source #
AgdaUnparse Bool Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Bool → String Source #
AgdaUnparse Char Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ Char → String Source #
AgdaUnparse (DefaultUni (Esc a)) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ DefaultUni (Esc a) → String Source #
AgdaUnparse a ⇒ AgdaUnparse [a] Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ [a] → String Source #
(AgdaUnparse a, AgdaUnparse b) ⇒ AgdaUnparse (a, b) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ (a, b) → String Source #

agdaUnparseValue ∷ DSum (ValueOf DefaultUni) Identity → String Source #

mkValueDSum ∷ Some (ValueOf DefaultUni) → DSum (ValueOf DefaultUni) Identity Source #