Untagged.Castable

class Castable a b 

A Castable a b exists if all values of type a have runtime values that can be interpreted as that of type b.

Instances

• Castable Int Number
• Castable Char String
• (RowToList r rl, RowToList r' rl', CastableRecordRL rl rl') => Castable (Record r) (Record r')
• Castable x Foreign

class CastableRecordRL :: RowList Type -> RowList Type -> Constraintclass CastableRecordRL (rl :: RowList Type) (rl' :: RowList Type) 

Instances

• CastableRecordRL Nil Nil
• (CastableRecordRL trl trl') => CastableRecordRL (Cons name typ trl) (Cons name typ trl')
• (CastableRecordRL trl trl', Castable typ typ') => CastableRecordRL (Cons name typ trl) (Cons name typ' trl')
• (CastableRecordRL trl trl', Castable Undefined t) => CastableRecordRL trl (Cons name t trl')

cast :: forall a b. Castable a b => a -> b