Data.Random.Generics.Boltzmann.Types

Documentation

data SomeData m where

Constructors

SomeData :: Data a => m a -> SomeData m

Instances

Show (SomeData m)

Dummy instance for debugging.

type SomeData' = SomeData Proxy

data Alias m where

Constructors

Alias :: (Data a, Data b) => !(m a -> m b) -> Alias m

Instances

Show (Alias m)

composeCastM :: forall a b c d m. (?loc :: CallStack, Typeable b, Typeable c) => (m c -> d) -> (a -> m b) -> a -> d

composeCast f g = f . g

castM :: forall a b m. (?loc :: CallStack, Typeable a, Typeable b) => m a -> m b

unSomeData :: (?loc :: CallStack, Typeable a) => SomeData m -> m a

applyCast :: (Typeable a, Data b) => (m a -> m b) -> SomeData m -> SomeData m

castError :: (?loc :: CallStack, Typeable a, Typeable b) => proxy a -> proxy' b -> c

withProxy :: (?loc :: CallStack) => (a -> b) -> proxy a -> b

reproxy :: proxy a -> Proxy a

proxyType :: m a -> proxy a -> m a

someData' :: Data a => proxy a -> SomeData'