open-witness-0.1: open witnesses

Data.OpenWitness.Typeable.Rep

Documentation

data Rep2 p whereSource

Constructors

SimpleRep2 :: IOWitness (p () ()) -> Rep2 p 

matchRep2 :: Rep2 a -> Rep2 b -> Maybe (EqualType (a () ()) (b () ()))Source

data Rep1 p whereSource

Constructors

SimpleRep1 :: IOWitness (p ()) -> Rep1 p 
ApplyRep1 :: Rep2 p -> Rep a -> Rep1 (p a) 

matchRep1 :: Rep1 a -> Rep1 b -> Maybe (EqualType (a ()) (b ()))Source

data Rep a whereSource

Constructors

SimpleRep :: IOWitness a -> Rep a 
ApplyRep :: Rep1 p -> Rep a -> Rep (p a) 

Instances