Idris2Doc : Language.TOML.ConcreteSyntax

Language.TOML.ConcreteSyntax

(source)

Definitions

dataCKeyAtom : Type
Totality: total
Visibility: public export
Constructors:
CKBare : String->CKeyAtom
CKQuoted : String->CKeyAtom

Hint: 
ShowCKeyAtom
dataCKey : Type
Totality: total
Visibility: public export
Constructors:
CKAtom : CKeyAtom->CKey
CKDotted : List1CKeyAtom->CKey

Hint: 
ShowCKey
dataCValue : Type
Totality: total
Visibility: public export
Constructors:
CVString : String->CValue
CVInteger : Integer->CValue
CVFloat : Double->CValue
CVBoolean : Bool->CValue
CVArray : ListCValue->CValue
CVInlineTable : List (CKey, CValue) ->CValue

Hint: 
ShowCValue
dataItem : Type
Totality: total
Visibility: public export
Constructors:
IKeyValue : CKey->CValue->Item
ITableHeader : CKey->Item
ITableArray : CKey->Item

Hint: 
ShowItem