Justifill.Justifiable

class Justifiable unjust just  where

Members

• justify :: unjust -> just

Instances

• (RowToList unjust xs, JustifiableFields xs unjust () just) => Justifiable (Record unjust) (Record just)
• Justifiable a (Maybe a)
• Justifiable a a

class JustifiableFields :: RowList Type -> Row Type -> Row Type -> Row Type -> Constraintclass JustifiableFields (xs :: RowList Type) (row :: Row Type) (from :: Row Type) (to :: Row Type) | xs -> row from to where

In case of empty Arrays or Nothing values, it helps inference to go from the add a functional dependency from the output to the input type However, that messess with the more basic cases (going from a -> a fails to find an instance) Therefore, we only fall back to this at this point Note how b and a are unrelated types here

Members

• getFieldsJustified :: Proxy xs -> Record row -> Builder (Record from) (Record to)

Instances

• JustifiableFields Nil row () ()
• (IsSymbol name, Lacks name from', Cons name a trash row, Cons name justA from' to, JustifiableFields tail row from from', Justifiable a justA) => JustifiableFields (Cons name a tail) row from to