Test.QuickSpec.Utils.Typed

Functions for working with existentially-quantified types and similar.

Documentation

data Some f

Constructors

forall a . Typeable a => Some (f a)

Instances

Eq Witness

Ord Witness

Show Witness

newtype O f g a

Constructors

O

Fields

unO :: f (g a)

type List = []

type Several f = Some (List `O` f)

newtype Witnessed a

Constructors

Witness

Fields

witness :: a

Instances

Eq Witness

Ord Witness

Show Witness

type Witness = Some Witnessed

witnessType :: Witness -> TypeRep

data Tagged a

Constructors

Tagged

Fields

tag :: Witness

erase :: a

tagged :: Typeable a => (f a -> b) -> f a -> Tagged b

some :: (forall a. Typeable a => f a -> b) -> Some f -> b

several :: (forall a. Typeable a => [f a] -> b) -> Several f -> b

some2 :: (forall a. Typeable a => f (g a) -> b) -> Some (f `O` g) -> b

mapSome :: (forall a. Typeable a => f a -> g a) -> Some f -> Some g

mapSome2 :: (forall a. Typeable a => f (g a) -> h (i a)) -> Some (f `O` g) -> Some (h `O` i)

mapSomeM :: Monad m => (forall a. Typeable a => f a -> m (g a)) -> Some f -> m (Some g)

someType :: Some f -> TypeRep

someWitness :: Some f -> Witness

splitArrow :: TypeRep -> Maybe (TypeRep, TypeRep)

rightArrow :: TypeRep -> TypeRep

typeRepTyCons :: TypeRep -> [TyCon]