Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- data SomeData m where
- type SomeData' = SomeData Proxy
- data Alias m where
- composeCastM :: forall a b c d m. (?loc :: CallStack, Typeable b, Typeable c) => (m c -> d) -> (a -> m b) -> a -> d
- 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'
Documentation
composeCastM :: forall a b c d m. (?loc :: CallStack, Typeable b, Typeable c) => (m c -> d) -> (a -> m b) -> a -> d Source
composeCast f g = f . g
unSomeData :: (?loc :: CallStack, Typeable a) => SomeData m -> m a Source