Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Extensions es where Source
NoExtension :: Extensions [] | |
AddExtension :: (e :: *) -> Extensions es -> Extensions (e : es) |
getExtension :: proxy a -> Extensions as -> a Source
newtype Initializer m i o Source
Initializer | |
|
Monad m => Category [*] (Initializer m) |