Safe Haskell	None
Language	GHC2021

Control.Monad.Ology.General.Function

Contents

Synopsis

type TransKind = (Type -> Type) -> Type -> Type
type Raised (p :: k -> Type) (q :: k -> Type) = forall (a :: k). p a -> q a
type (-->) (p :: k -> Type) (q :: k -> Type) = Raised p q
newtype WRaised (p :: k -> Type) (q :: k -> Type) = MkWRaised {
- unWRaised :: p --> q
}
wLift :: forall (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type). (MonadTrans t, Monad m) => WRaised m (t m)
wLiftIO :: forall (m :: Type -> Type). MonadIO m => WRaised IO m
type Backraised (ma :: k -> Type) (mb :: k -> Type) = forall (r :: k). ((mb --> ma) -> ma r) -> mb r
type (-/->) (ma :: k -> Type) (mb :: k -> Type) = Backraised ma mb
backraisedToRaised :: forall {k} (ma :: k -> Type) (mb :: k -> Type). (ma -/-> mb) -> ma --> mb
newtype WBackraised (p :: k -> Type) (q :: k -> Type) = MkWBackraised {
- unWBackraised :: p -/-> q
}
wBackraisedToWRaised :: forall {k} (ma :: k -> Type) (mb :: k -> Type). WBackraised ma mb -> WRaised ma mb
type Unlift (c :: (Type -> Type) -> Constraint) (t :: TransKind) = forall (m :: Type -> Type). c m => t m --> m
newtype WUnlift (c :: (Type -> Type) -> Constraint) (t :: TransKind) = MkWUnlift {
- unWUnlift :: Unlift c t
}
wUnliftToWRaised :: forall (c :: (Type -> Type) -> Constraint) (m :: Type -> Type) (t :: TransKind). c m => WUnlift c t -> WRaised (t m) m
type Extract (m :: Type -> Type) = forall a. m a -> a
newtype WExtract (m :: Type -> Type) = MkWExtract {
- unWExtract :: Extract m
}

Documentation

Raised

type Raised (p :: k -> Type) (q :: k -> Type) = forall (a :: k). p a -> q a Source #

type (-->) (p :: k -> Type) (q :: k -> Type) = Raised p q Source #

newtype WRaised (p :: k -> Type) (q :: k -> Type) Source #

Constructors

MkWRaised
Fields unWRaised :: p --> q

Instances details

Category (WRaised :: (k -> Type) -> (k -> Type) -> Type) Source #
Instance details Defined in Control.Monad.Ology.General.Function Methods id :: forall (a :: k -> Type). WRaised a a # (.) :: forall (b :: k -> Type) (c :: k -> Type) (a :: k -> Type). WRaised b c -> WRaised a b -> WRaised a c #

wLift :: forall (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type). (MonadTrans t, Monad m) => WRaised m (t m) Source #

type Backraised (ma :: k -> Type) (mb :: k -> Type) = forall (r :: k). ((mb --> ma) -> ma r) -> mb r Source #

type (-/->) (ma :: k -> Type) (mb :: k -> Type) = Backraised ma mb Source #

backraisedToRaised :: forall {k} (ma :: k -> Type) (mb :: k -> Type). (ma -/-> mb) -> ma --> mb Source #

newtype WBackraised (p :: k -> Type) (q :: k -> Type) Source #

Constructors

MkWBackraised
Fields unWBackraised :: p -/-> q

Instances details

Category (WBackraised :: (k -> Type) -> (k -> Type) -> Type) Source #
Instance details Defined in Control.Monad.Ology.General.Function Methods id :: forall (a :: k -> Type). WBackraised a a # (.) :: forall (b :: k -> Type) (c :: k -> Type) (a :: k -> Type). WBackraised b c -> WBackraised a b -> WBackraised a c #

wBackraisedToWRaised :: forall {k} (ma :: k -> Type) (mb :: k -> Type). WBackraised ma mb -> WRaised ma mb Source #

type Unlift (c :: (Type -> Type) -> Constraint) (t :: TransKind) = forall (m :: Type -> Type). c m => t m --> m Source #

Constructors

MkWUnlift
Fields unWUnlift :: Unlift c t

wUnliftToWRaised :: forall (c :: (Type -> Type) -> Constraint) (m :: Type -> Type) (t :: TransKind). c m => WUnlift c t -> WRaised (t m) m Source #

type Extract (m :: Type -> Type) = forall a. m a -> a Source #

Constructors

MkWExtract
Fields unWExtract :: Extract m