Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type TransKind = (Type -> Type) -> Type -> Type
- type Raised p q = forall a. p a -> q a
- type (-->) p q = Raised p q
- newtype WRaised p q = MkWRaised {}
- wLift :: (MonadTrans t, Monad m) => WRaised m (t m)
- wLiftIO :: MonadIO m => WRaised IO m
- type Backraised ma mb = forall r. ((mb --> ma) -> ma r) -> mb r
- type (-/->) ma mb = Backraised ma mb
- backraisedToRaised :: (ma -/-> mb) -> ma --> mb
- newtype WBackraised p q = MkWBackraised {
- unWBackraised :: p -/-> q
- wBackraisedToWRaised :: WBackraised ma mb -> WRaised ma mb
- type Unlift c t = forall (m :: Type -> Type). c m => t m --> m
- newtype WUnlift c t = MkWUnlift {}
- wUnliftToWRaised :: c m => WUnlift c t -> WRaised (t m) m
- type Extract m = forall a. m a -> a
- newtype WExtract m = MkWExtract {
- unWExtract :: Extract m
Documentation
Raised
Backraised
type Backraised ma mb = forall r. ((mb --> ma) -> ma r) -> mb r Source #
type (-/->) ma mb = Backraised ma mb Source #
backraisedToRaised :: (ma -/-> mb) -> ma --> mb Source #
newtype WBackraised p q Source #
MkWBackraised | |
|
Instances
Category (WBackraised :: (k -> Type) -> (k -> Type) -> Type) Source # | |
Defined in Control.Monad.Ology.General.Function id :: forall (a :: k0). WBackraised a a # (.) :: forall (b :: k0) (c :: k0) (a :: k0). WBackraised b c -> WBackraised a b -> WBackraised a c # |
wBackraisedToWRaised :: WBackraised ma mb -> WRaised ma mb Source #
Unlift
wUnliftToWRaised :: c m => WUnlift c t -> WRaised (t m) m Source #
Extract
MkWExtract | |
|