open-witness-0.1: open witnesses
Data.OpenWitness.Typeable.Rep
data Rep2 p whereSource
Constructors
matchRep2 :: Rep2 a -> Rep2 b -> Maybe (EqualType (a () ()) (b () ()))Source
data Rep1 p whereSource
matchRep1 :: Rep1 a -> Rep1 b -> Maybe (EqualType (a ()) (b ()))Source
data Rep a whereSource
Instances