Safe Haskell | Safe |
---|

# 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`

.