Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all operations
C
E
G
L
M
P
R
S
T
W
_
C
catchE
(
Control.Monad.Trans.Except
)
cont
(
Control.Monad.Trans.Cont
)
C
E
G
L
M
P
R
S
T
W
_
E
evalCont
(
Control.Monad.Trans.Cont
)
evalContT
(
Control.Monad.Trans.Cont
)
evalState
(
Control.Monad.Trans.State
)
evalStateT
(
Control.Monad.Trans.State
)
except
(
Control.Monad.Trans.Except
)
execState
(
Control.Monad.Trans.State
)
execStateT
(
Control.Monad.Trans.State
)
C
E
G
L
M
P
R
S
T
W
_
G
get
(
Control.Monad.Trans.State
)
gets
(
Control.Monad.Trans.State
)
C
E
G
L
M
P
R
S
T
W
_
L
lift
(
Control.Monad.Trans.Class
)
liftIO
(
Control.Monad.IO.Class
)
liftLocal
(
Control.Monad.Trans.Cont
)
C
E
G
L
M
P
R
S
T
W
_
M
mapCont
(
Control.Monad.Trans.Cont
)
mapContT
(
Control.Monad.Trans.Cont
)
mapExcept
(
Control.Monad.Trans.Except
)
mapExceptT
(
Control.Monad.Trans.Except
)
mapMaybeT
(
Control.Monad.Trans.Maybe
)
mapState
(
Control.Monad.Trans.State
)
mapStateT
(
Control.Monad.Trans.State
)
modify
(
Control.Monad.Trans.State
)
C
E
G
L
M
P
R
S
T
W
_
P
put
(
Control.Monad.Trans.State
)
C
E
G
L
M
P
R
S
T
W
_
R
reset
(
Control.Monad.Trans.Cont
)
resetT
(
Control.Monad.Trans.Cont
)
runCont
(
Control.Monad.Trans.Cont
)
runContT
(
Control.Monad.Trans.Cont
)
runExcept
(
Control.Monad.Trans.Except
)
runExceptT
(
Control.Monad.Trans.Except
)
runIdentity
(
Data.Functor.Identity
)
runMaybeT
(
Control.Monad.Trans.Maybe
)
runState
(
Control.Monad.Trans.State
)
runStateT
(
Control.Monad.Trans.State
)
C
E
G
L
M
P
R
S
T
W
_
S
shift
(
Control.Monad.Trans.Cont
)
shiftT
(
Control.Monad.Trans.Cont
)
state
(
Control.Monad.Trans.State
)
C
E
G
L
M
P
R
S
T
W
_
T
throwE
(
Control.Monad.Trans.Except
)
C
E
G
L
M
P
R
S
T
W
_
W
withCont
(
Control.Monad.Trans.Cont
)
withContT
(
Control.Monad.Trans.Cont
)
withExcept
(
Control.Monad.Trans.Except
)
withExceptT
(
Control.Monad.Trans.Except
)
withState
(
Control.Monad.Trans.State
)
withStateT
(
Control.Monad.Trans.State
)
C
E
G
L
M
P
R
S
T
W
_
_
_def#lift#Control.Monad.Trans.Class.MonadTrans
(
Control.Monad.Trans.Class
)
_def#liftIO#Control.Monad.IO.Class.MonadIO
(
Control.Monad.IO.Class
)
_impl#/=#Prelude.Eq#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#<#Prelude.Ord#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#<=#Prelude.Ord#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#==#Prelude.Eq#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#>#Prelude.Ord#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#>=#Prelude.Ord#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#>>#Prelude.Monad#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_impl#>>#Prelude.Monad#Control.Monad.Trans.Except.ExceptT
(
Control.Monad.Trans.Except
)
_impl#>>#Prelude.Monad#Control.Monad.Trans.Maybe.MaybeT
(
Control.Monad.Trans.Maybe
)
_impl#>>#Prelude.Monad#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_impl#>>#Prelude.Monad#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#>>=#Prelude.Monad#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_impl#>>=#Prelude.Monad#Control.Monad.Trans.Except.ExceptT
(
Control.Monad.Trans.Except
)
_impl#>>=#Prelude.Monad#Control.Monad.Trans.Maybe.MaybeT
(
Control.Monad.Trans.Maybe
)
_impl#>>=#Prelude.Monad#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_impl#>>=#Prelude.Monad#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#compare#Prelude.Ord#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#fail#Prelude.Monad#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_impl#fail#Prelude.Monad#Control.Monad.Trans.Except.ExceptT
(
Control.Monad.Trans.Except
)
_impl#fail#Prelude.Monad#Control.Monad.Trans.Maybe.MaybeT
(
Control.Monad.Trans.Maybe
)
_impl#fail#Prelude.Monad#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_impl#fail#Prelude.Monad#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#fmap#Prelude.Functor#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_impl#fmap#Prelude.Functor#Control.Monad.Trans.Except.ExceptT
(
Control.Monad.Trans.Except
)
_impl#fmap#Prelude.Functor#Control.Monad.Trans.Maybe.MaybeT
(
Control.Monad.Trans.Maybe
)
_impl#fmap#Prelude.Functor#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_impl#fmap#Prelude.Functor#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#fmap#Prelude.Functor#Prelude.Maybe
(
Control.Monad.Trans.Maybe
)
_impl#lift#Control.Monad.Trans.Class.MonadTrans#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_impl#lift#Control.Monad.Trans.Class.MonadTrans#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_impl#liftIO#Control.Monad.IO.Class.MonadIO#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_impl#liftIO#Control.Monad.IO.Class.MonadIO#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_impl#liftIO#Control.Monad.IO.Class.MonadIO#Prelude.IO
(
Control.Monad.IO.Class
)
_impl#max#Prelude.Ord#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#min#Prelude.Ord#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#readList#Prelude.Read#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#readsPrec#Prelude.Read#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#return#Prelude.Monad#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_impl#return#Prelude.Monad#Control.Monad.Trans.Except.ExceptT
(
Control.Monad.Trans.Except
)
_impl#return#Prelude.Monad#Control.Monad.Trans.Maybe.MaybeT
(
Control.Monad.Trans.Maybe
)
_impl#return#Prelude.Monad#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_impl#return#Prelude.Monad#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#show#Prelude.Show#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#showList#Prelude.Show#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_impl#showsPrec#Prelude.Show#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_inst#Control.Monad.IO.Class.MonadIO#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_inst#Control.Monad.IO.Class.MonadIO#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_inst#Control.Monad.IO.Class.MonadIO#Prelude.IO
(
Control.Monad.IO.Class
)
_inst#Control.Monad.Trans.Class.MonadTrans#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_inst#Control.Monad.Trans.Class.MonadTrans#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_inst#Prelude.Eq#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_inst#Prelude.Functor#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_inst#Prelude.Functor#Control.Monad.Trans.Except.ExceptT
(
Control.Monad.Trans.Except
)
_inst#Prelude.Functor#Control.Monad.Trans.Maybe.MaybeT
(
Control.Monad.Trans.Maybe
)
_inst#Prelude.Functor#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_inst#Prelude.Functor#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_inst#Prelude.Functor#Prelude.Maybe
(
Control.Monad.Trans.Maybe
)
_inst#Prelude.Monad#Control.Monad.Trans.Cont.ContT
(
Control.Monad.Trans.Cont
)
_inst#Prelude.Monad#Control.Monad.Trans.Except.ExceptT
(
Control.Monad.Trans.Except
)
_inst#Prelude.Monad#Control.Monad.Trans.Maybe.MaybeT
(
Control.Monad.Trans.Maybe
)
_inst#Prelude.Monad#Control.Monad.Trans.State.StateT
(
Control.Monad.Trans.State
)
_inst#Prelude.Monad#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_inst#Prelude.Ord#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_inst#Prelude.Read#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_inst#Prelude.Show#Data.Functor.Identity.Identity
(
Data.Functor.Identity
)
_super#Control.Monad.IO.Class.MonadIO#Prelude.Monad
(
Control.Monad.IO.Class
)
C
E
G
L
M
P
R
S
T
W
_