Language.TOML.ConcreteSyntax

Definitions

data CKeyAtom : Type

Totality: total
Visibility: public export
Constructors:

CKBare : String -> CKeyAtom

CKQuoted : String -> CKeyAtom

Hint: 

Show CKeyAtom

data CKey : Type

Totality: total
Visibility: public export
Constructors:

CKAtom : CKeyAtom -> CKey

CKDotted : List1 CKeyAtom -> CKey

Hint: 

Show CKey

data CValue : Type

Totality: total
Visibility: public export
Constructors:

CVString : String -> CValue

CVInteger : Integer -> CValue

CVFloat : Double -> CValue

CVBoolean : Bool -> CValue

CVArray : List CValue -> CValue

CVInlineTable : List (CKey, CValue) -> CValue

Hint: 

Show CValue

data Item : Type

Totality: total
Visibility: public export
Constructors:

IKeyValue : CKey -> CValue -> Item

ITableHeader : CKey -> Item

ITableArray : CKey -> Item

Hint: 

Show Item