Module

Untagged.Castable

Package: purescript-untagged-union
Repository: rowtype-yoga/purescript-untagged-union

#Castable Source

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

#CastableRecordRL Source

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 Source

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

Modules: Untagged.Castable; Untagged.TypeCheck; Untagged.Union