Lana.Class

Definitions

data Null : Type

Totality: total
Visibility: public export
Constructor: 

MkNull : Null

Union : List Type -> Type

Visibility: public export

BranchIndex : Type -> List Type -> Type

Visibility: public export

interface Lana : (Type -> Type) -> Type

Parameters: schema
Methods:

0 Object : Type -> Type -> Type

0 Field : Type -> Type -> Type

0 AdditionalFields : Type -> Type -> Type

0 UnionMembers : List Type -> List Type -> Type

schemaName : schema a -> Name

double : schema Double

text : schema String

boolean : schema Bool

array : schema a -> schema (List a)

null : schema Null

nullable : schema a -> schema (Either Null a)

required : String -> (object -> a) -> schema a -> Field object a

optional : String -> (object -> Maybe a) -> schema a -> Field object (Maybe a)

mapField : (a -> b) -> Field object a -> Field object b

additionalFields : (object -> SortedMap String a) -> schema a -> AdditionalFields object (SortedMap String a)

objectNamed : Name -> Object a a -> schema a

constructor : constructorType -> Object object constructorType

field : Object object (a -> b) -> Field object a -> Object object b

additional : Object object (a -> object) -> AdditionalFields object a -> Object object object

validateNamed : Name -> (a -> b) -> (b -> Either String a) -> schema b -> schema a

finiteNamed : Finite a => Name -> (a -> String) -> schema a

unionNamed : Name -> UnionMembers types types -> schema (Union types)

unionMemberWithIndex : BranchIndex a types -> schema a -> UnionMembers types [a]

unionCombine : UnionMembers types left -> UnionMembers types right -> UnionMembers types (left ++ right)

jsonString : schema a -> schema a

schemaName : Lana schema => schema a -> Name

Visibility: public export

double : Lana schema => schema Double

Visibility: public export

text : Lana schema => schema String

Visibility: public export

boolean : Lana schema => schema Bool

Visibility: public export

array : Lana schema => schema a -> schema (List a)

Visibility: public export

null : Lana schema => schema Null

Visibility: public export

nullable : Lana schema => schema a -> schema (Either Null a)

Visibility: public export

required : {auto __con : Lana schema} -> String -> (object -> a) -> schema a -> Field object a

Visibility: public export

optional : {auto __con : Lana schema} -> String -> (object -> Maybe a) -> schema a -> Field object (Maybe a)

Visibility: public export

mapField : {auto __con : Lana schema} -> (a -> b) -> Field object a -> Field object b

Visibility: public export

additionalFields : {auto __con : Lana schema} -> (object -> SortedMap String a) -> schema a -> AdditionalFields object (SortedMap String a)

Visibility: public export

objectNamed : {auto __con : Lana schema} -> Name -> Object a a -> schema a

Visibility: public export

constructor : {auto __con : Lana schema} -> constructorType -> Object object constructorType

Visibility: public export

field : {auto __con : Lana schema} -> Object object (a -> b) -> Field object a -> Object object b

Visibility: public export

additional : {auto __con : Lana schema} -> Object object (a -> object) -> AdditionalFields object a -> Object object object

Visibility: public export

validateNamed : Lana schema => Name -> (a -> b) -> (b -> Either String a) -> schema b -> schema a

Visibility: public export

finiteNamed : Lana schema => Finite a => Name -> (a -> String) -> schema a

Visibility: public export

unionNamed : {auto __con : Lana schema} -> Name -> UnionMembers types types -> schema (Union types)

Visibility: public export

unionMemberWithIndex : {auto __con : Lana schema} -> BranchIndex a types -> schema a -> UnionMembers types [a]

Visibility: public export

unionCombine : {auto __con : Lana schema} -> UnionMembers types left -> UnionMembers types right -> UnionMembers types (left ++ right)

Visibility: public export

jsonString : Lana schema => schema a -> schema a

Visibility: public export

(#+) : {auto {conArg:2844} : Lana schema} -> Object object (a -> b) -> Field object a -> Object object b

Visibility: export
Fixity Declaration: infixl operator, level 9

(#|) : {auto {conArg:2911} : Lana schema} -> UnionMembers types left -> UnionMembers types right -> UnionMembers types (left ++ right)

Visibility: export
Fixity Declaration: infixl operator, level 9

(#*) : {auto {conArg:2972} : Lana schema} -> Object object (a -> object) -> AdditionalFields object a -> Object object object

Visibility: export
Fixity Declaration: infixl operator, level 9