Module

Untagged.Coercible

Package: purescript-untagged-union
Repository: jvliwanag/purescript-untagged-union

#Coercible Source

class Coercible a b

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

Instances

Coercible Int Number
Coercible Char String
(RowToList r rl, RowToList r' rl', CoercibleRecordRL rl rl') => Coercible (Record r) (Record r')
Coercible x Foreign

#CoercibleRecordRL Source

class CoercibleRecordRL (rl :: RowList) (rl' :: RowList)

Instances

CoercibleRecordRL Nil Nil
(CoercibleRecordRL trl trl') => CoercibleRecordRL (Cons name typ trl) (Cons name typ trl')
(CoercibleRecordRL trl trl', Coercible typ typ') => CoercibleRecordRL (Cons name typ trl) (Cons name typ' trl')
(CoercibleRecordRL trl trl', Coercible Undefined t) => CoercibleRecordRL trl (Cons name t trl')

#coerce Source

coerce :: forall b a. Coercible a b => a -> b

Modules: Untagged.Coercible; Untagged.TypeCheck; Untagged.Union