quickspec-0.9: Equational laws for free

Safe HaskellNone

Test.QuickSpec.Utils.TypeRel

Description

A relation between types and values. TypeRel f relates each type a to a set of values of type f a.

Documentation

type TypeRel f = TypeMap (List `O` f)Source

empty :: TypeRel fSource

singleton :: Typeable a => f a -> TypeRel fSource

fromList :: [Some f] -> TypeRel fSource

toList :: TypeRel f -> [Some f]Source

lookup :: Typeable a => a -> TypeRel f -> [f a]Source

mapValues :: (forall a. Typeable a => f a -> g a) -> TypeRel f -> TypeRel gSource

gather :: [Some f] -> Some (List `O` f)Source

disperse :: Some (List `O` f) -> [Some f]Source

classify :: [Some f] -> [Some (List `O` f)]Source