Idris2Doc : Language.TOML.Value

Language.TOML.Value

(source)
Reexports
import public Data.SortedMap
Definitions
Key : Type
  Visibility: public export
data Value : Type
  Totality: total
  Visibility: public export
  Constructors:
  
VString : String -> Value
  
VInteger : Integer -> Value
  
VFloat : Double -> Value
  
VBoolean : Bool -> Value
  
VArray : List Value -> Value
  
VTable : Table -> Value

  Hints:
  
Eq Value
  
Show Value
Table : Type
  Visibility: public export
lookupNested : List String -> Table -> Maybe Value
  Visibility: export