Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Has a as where
- getExtension :: proxy a -> Extensions as -> a
- data Extensions es
- addExtension :: e -> Extensions es -> Extensions (e : es)
- noExtension :: Monad m => Initializer m i i
- data Initializer m i o
- initializer :: Monad m => (Extensions es -> m e) -> Initializer m es (e : es)
- type Initializer' m a = forall i. Initializer m i (a : i)
- initializer' :: Monad m => m e -> Initializer' m e
- initializerBracket :: (forall a. Extensions es -> (e -> m a) -> m a) -> Initializer m es (e : es)
- initializerBracket' :: (forall a. (e -> m a) -> m a) -> Initializer m es (e : es)
- (+>) :: Monad m => Initializer m i x -> Initializer m x o -> Initializer m i o
- preAction :: Monad m => m a -> Initializer m i i
Documentation
getExtension :: proxy a -> Extensions as -> a Source
data Extensions es Source
addExtension :: e -> Extensions es -> Extensions (e : es) Source
noExtension :: Monad m => Initializer m i i Source
create initializer
data Initializer m i o Source
Monad m => Category [*] (Initializer m) |
initializer :: Monad m => (Extensions es -> m e) -> Initializer m es (e : es) Source
type Initializer' m a = forall i. Initializer m i (a : i) Source
initializer' :: Monad m => m e -> Initializer' m e Source
initializerBracket :: (forall a. Extensions es -> (e -> m a) -> m a) -> Initializer m es (e : es) Source
initializerBracket' :: (forall a. (e -> m a) -> m a) -> Initializer m es (e : es) Source
combine initializer
(+>) :: Monad m => Initializer m i x -> Initializer m x o -> Initializer m i o Source
combine two Initializer. since 0.16.0.
deprecated
preAction :: Monad m => m a -> Initializer m i i Source
Deprecated: DEPRECATED