Module

ConvertableOptions

#ConvertOptionsWithDefaults

class ConvertOptionsWithDefaults t defaults provided all | t -> defaults all where

Members

convertOptionsWithDefaults :: t -> defaults -> provided -> all

Instances

(ConvertOptions t (Record provided) provided', Defaults (Record defaults) provided' (Record all)) => ConvertOptionsWithDefaults t (Record defaults) (Record provided) (Record all)

#ConvertOptions

class ConvertOptions t i o | t -> o where

Members

convertOptions :: t -> i -> o

Instances

(RowToList i rl, ConvertRecordOptions t rl (Record i) (Builder (Record ()) (Record o))) => ConvertOptions t (Record i) (Record o)

#ConvertOption

class ConvertOption :: Type -> Symbol -> Type -> Type -> Constraintclass ConvertOption t (p :: Symbol) i o | t p -> o where

Members

convertOption :: t -> Proxy p -> i -> o

#ConvertRecordOptions

class ConvertRecordOptions :: Type -> RowList Type -> Type -> Type -> Constraintclass ConvertRecordOptions t (rl :: RowList Type) i o | t rl -> o where

Members

convertRecordOptions :: t -> Proxy rl -> i -> o

Instances

ConvertRecordOptions t Nil (Record r) (Builder (Record ()) (Record ()))
(ConvertRecordOptions t rest (Record r) (Builder (Record i) (Record o')), ConvertOption t sym a b, Cons sym a r' r, Cons sym b o' o, Lacks sym o', IsSymbol sym) => ConvertRecordOptions t (Cons sym a rest) (Record r) (Builder (Record i) (Record o))

#Defaults

class Defaults defaults provided all | defaults provided -> all where

Members

defaults :: defaults -> provided -> all

Instances

(Union provided defaults all', Nub all' all) => Defaults (Record defaults) (Record provided) (Record all)

Packages

GROUP BY PACKAGE