Idris2Doc : Text.TOML.Types

Text.TOML.Types

(source)
Reexports
import public Data.Time.Time
import public Data.SortedMap
Definitions
data TomlFloat : Type
  Totality: total
  Visibility: public export
  Constructors:
  
NaN : TomlFloat
  
Infty : Sign -> TomlFloat
  
Float : Double -> TomlFloat

  Hints:
  
Eq TomlFloat
  
Interpolation TomlFloat
  
Show TomlFloat
data TomlValue : Type
  Data type for trees of TOML data.

  Totality: total
  Visibility: public export
  Constructors:
  
TStr : String -> TomlValue
  A string literal
  
TBool : Bool -> TomlValue
  A boolean literal
  
TTime : AnyTime -> TomlValue
  A date-time literal
  
TInt : Integer -> TomlValue
  An integer
  
TDbl : TomlFloat -> TomlValue
  A floating point number
  
TArr : List TomlValue -> TomlValue
  An array of values
  
TTbl : SortedMap String TomlValue -> TomlValue
  A table of key-value pairs

  Hints:
  
Eq TomlValue
  
Show TomlValue
0 TomlTable : Type
  Currently, a TOML table is a list of pairs. This might be later
  changed to some kind of dictionary.

  Totality: total
  Visibility: public export
data KeyType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Plain : KeyType
  
Quoted : KeyType
  
Literal : KeyType

  Hints:
  
Eq KeyType
  
Show KeyType
record Key : Type
  Totality: total
  Visibility: public export
  Constructor: 
KT : String -> KeyType -> ByteBounds -> Key

  Projections:
  
.bounds : Key -> ByteBounds
  
.key : Key -> String
  
.tpe : Key -> KeyType

  Hints:
  
Eq Key
  
Interpolation Key
  
Interpolation (List Key)
  
Show Key
.key : Key -> String
  Totality: total
  Visibility: public export
key : Key -> String
  Totality: total
  Visibility: public export
.tpe : Key -> KeyType
  Totality: total
  Visibility: public export
tpe : Key -> KeyType
  Totality: total
  Visibility: public export
.bounds : Key -> ByteBounds
  Totality: total
  Visibility: public export
bounds : Key -> ByteBounds
  Totality: total
  Visibility: public export
data TomlParseError : Type
  Totality: total
  Visibility: public export
  Constructors:
  
ValueExists : List Key -> TomlParseError
  
InlineTableExists : List Key -> TomlParseError
  
TableExists : List Key -> TomlParseError
  
StaticArray : List Key -> TomlParseError
  
TableArray : List Key -> TomlParseError
  
InvalidLeapDay : LocalDate -> TomlParseError

  Hints:
  
Eq TomlParseError
  
Interpolation TomlParseError
  
Show TomlParseError
0 TErr : Type
  Error type when lexing and parsing TOML files

  Totality: total
  Visibility: public export