Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Data.Generics.Record.Subtype
Documentation
genSubtype :: forall a b. (Data a, Data b) => RecordT a -> RecordT b -> Maybe (a :<: b) Source
Returns a witness for a subtyping relation for a
and b
by traversing
the fields of a
and b
and pairing each field of a
with
the first one of the same type in b
.