Record.Optional.Fields

optional :: forall @t a b. Optional t a b => a -> b

class Optional (t :: Type) a b | t a -> b where

Members

• optional' :: Proxy t -> a -> b

Instances

• (OptionalWithContext (Root ()) t a b) => Optional t a b

class OptionalWithContext :: (Type -> Context) -> Type -> Type -> Type -> Constraintclass OptionalWithContext ctx t a b | ctx t a -> b where

Members

• optionalWithContext :: Proxy (ctx t) -> a -> b

Instances

• (RowToList r l, RowToList ri li, SetContextRow r ctx ctx', OptionalRecordProps ctx' r l li ri ro) => OptionalWithContext ctx (Record r) (Record ri) (Maybe (Record ro))
• (OptionalWithContext ctx r a b) => OptionalWithContext ctx r (Maybe a) b
• (OptionalWithContext ctx r a b) => OptionalWithContext ctx (Maybe r) a b
• (OptionalWithContext ctx r a b) => OptionalWithContext ctx (Maybe r) (Maybe a) b
• OptionalWithContext ctx a a (Maybe a)
• (RenderError (TypeError (ctx a) (UnexpectedType a b)) error, Fail error) => OptionalWithContext ctx a b err

class GetTypeWithDefault :: (Type -> Context) -> Type -> Symbol -> Row Type -> RowList Type -> Type -> Constraintclass GetTypeWithDefault ctx t prop row rl out | ctx t prop row rl -> out where

Members

• getWithDefault :: Proxy (ctx t) -> Proxy rl -> t -> Proxy prop -> Record row -> out

Instances

• (TypeEquals row (), OptionalWithContext ctx t t out) => GetTypeWithDefault ctx t prop row Nil out
• (Cons prop typ rest row, IsSymbol prop, OptionalWithContext (AtProp ctx prop row) t typ out) => GetTypeWithDefault ctx t prop row (Cons prop typ tail) out
• (Cons _1 _2 rest row, RowToList rest cdr, GetTypeWithDefault ctx t prop rest cdr out, IsSymbol _1, Lacks _1 rest) => GetTypeWithDefault ctx t prop row (Cons _1 _2 cdr) out

class OptionalRecordProps :: (Type -> Context) -> Row Type -> RowList Type -> RowList Type -> Row Type -> Row Type -> Constraintclass OptionalRecordProps ctx r l li ri ro | ctx r l ri -> li ro where

Members

• optionalRecordProps :: Proxy l -> Proxy (ctx (Record r)) -> Record ri -> Record ro

Instances

• (TypeEquals emp (), TypeEquals (Record emp) (Record ())) => OptionalRecordProps ctx emp Nil Nil emp emp
• (RowToList ri li, Cons prop typ rest r, RowToList rest tail, DropIfExists ri prop irest, RowToList irest litail, OptionalRecordProps ctx rest tail litail irest orest, GetTypeWithDefault ctx (Maybe typ) prop ri li typ', Cons prop typ' orest ro, IsSymbol prop) => OptionalRecordProps ctx r (Cons prop typ tail) li ri ro
• (RenderError (TypeError (ctx row (Record r)) (UnsupportedProp label row)) doc, Fail doc) => OptionalRecordProps (ctx row) r Nil (Cons label typ _1) ri ro

class DropIfExists :: Row Type -> Symbol -> Row Type -> Constraintclass DropIfExists ri label ro | ri label -> ro

Instances

• (RowToList ri rl, DropIfExistsRowList ri rl label ro) => DropIfExists ri label ro

class DropIfExistsRowList :: Row Type -> RowList Type -> Symbol -> Row Type -> Constraintclass DropIfExistsRowList r rl label ro | r rl label -> ro

Instances

• (Cons label _1 ro r) => DropIfExistsRowList r (Cons label _1 _2) label ro
• DropIfExistsRowList r Nil _1 r
• (DropIfExistsRowList r tail label ro) => DropIfExistsRowList r (Cons _1 _2 tail) label ro