Control.Monad.Restricted

Definitions

interface RMonad : (Type -> Type) -> (Type -> Type) -> Type

Parameters: r, m
Constraints: RApplicative r m
Methods:

rjoin : (r x, r y) => m x -> (x -> m y) -> m y

rjoin : RMonad r m => (r x, r y) => m x -> (x -> m y) -> m y

Visibility: public export

(>>=) : RMonad r m => (r x, r y) => m x -> (x -> m y) -> m y

Visibility: export
Fixity Declaration: infixl operator, level 1

(=<<) : RMonad r m => (r x, r y) => (x -> m y) -> m x -> m y

Visibility: export
Fixity Declarations:
infixl operator, level 1
infixl operator, level 1

(<=<) : RMonad r m => (r x, (r y, r z)) => (y -> m z) -> (x -> m y) -> x -> m z

Visibility: export
Fixity Declarations:
infixl operator, level 1
infixl operator, level 1

(>=>) : RMonad r m => (r x, (r y, r z)) => (x -> m y) -> (y -> m z) -> x -> m z

Visibility: export
Fixity Declarations:
infixl operator, level 1
infixl operator, level 1