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

#CastableRecordRL Source

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

Instances

#cast Source

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