ConvertableOptions

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)

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)

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

Members

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

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))

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)