Module
Untagged.Castable
- Package
- purescript-untagged-union
- Repository
- jvliwanag/purescript-untagged-union
#CastableRecordRL Source
class CastableRecordRL (rl :: RowList) (rl' :: RowList)
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')