functor-monad-0.1.1.1: FFunctor: functors on (the usual) Functors
Quick Jump
Contents
Index
Index
:.:
Data.Functor.Precompose
:^:
Data.Functor.Exp
Adjoint
1 (Type/Class)
FMonad.Adjoint
2 (Type/Class)
FComonad.Adjoint
adjoint
1 (Function)
FMonad.Adjoint
2 (Function)
FComonad.Adjoint
AdjointT
1 (Type/Class)
FMonad.Adjoint
2 (Data Constructor)
FMonad.Adjoint
3 (Type/Class)
FComonad.Adjoint
4 (Data Constructor)
FComonad.Adjoint
Adjunction
FFunctor.Adjunction
Bicompose
1 (Type/Class)
Data.Functor.Bicompose
2 (Data Constructor)
Data.Functor.Bicompose
coevalExp1
Data.Functor.Exp
composeCurried
Data.Functor.Day.Extra
Cont
1 (Type/Class)
FMonad.Cont.Curried
2 (Data Constructor)
FMonad.Cont.Curried
3 (Type/Class)
FMonad.Cont.Exp
4 (Data Constructor)
FMonad.Cont.Exp
counit
FFunctor.Adjunction
curried
Data.Functor.Day.Extra
curriedToReader
Data.Functor.Day.Extra
curriedToWriter
Data.Functor.Day.Extra
dayToEnv
Data.Functor.Day.Extra
dayToTraced
Data.Functor.Day.Extra
envToDay
Data.Functor.Day.Extra
evalExp1
Data.Functor.Exp
Exp1
1 (Type/Class)
Data.Functor.Exp
2 (Data Constructor)
Data.Functor.Exp
fap
FStrong
fbind
FMonad
fbindFst
FMonad.FreeT
FComonad
FComonad
FCompose
1 (Type/Class)
FFunctor.FCompose
2 (Data Constructor)
FFunctor.FCompose
fduplicate
FComonad
fextend
FComonad
fextract
FComonad
FF
FFunctor
fffmap
1 (Function)
FMonad.FFree
2 (Function)
FMonad.Adjoint
3 (Function)
FComonad.Adjoint
ffmap
FFunctor
,
FComonad
,
FMonad
FFree
1 (Type/Class)
FMonad.FFree
2 (Data Constructor)
FMonad.FFree
FFunctor
FFunctor
,
FComonad
,
FMonad
fjoin
FMonad
flift
1 (Function)
FMonad.State.Simple.Outer
2 (Function)
FMonad.State.Simple.Inner
3 (Function)
FMonad.State.Day
Flip1
1 (Type/Class)
Data.Functor.Flip1
2 (Data Constructor)
Data.Functor.Flip1
FMonad
FMonad
foldFFree
FMonad.FFree
FPure
FMonad.FFree
fpure
FMonad
fpureFst
FMonad.FreeT
FreeT'
FMonad.FreeT
fromAdjointT
1 (Function)
FMonad.State.Simple.Outer
2 (Function)
FMonad.State.Simple.Inner
3 (Function)
FMonad.State.Lan
fromExp1
Data.Functor.Exp
fromExp1'
Data.Functor.Exp
fromInner
1 (Function)
FMonad.State.Ran
2 (Function)
FMonad.State.Lan
3 (Function)
FMonad.State.Day
fromOuter
FMonad.State.Day
fstrength
FStrong
fstrength'
FStrong
FStrong
FStrong
FUNCTOR
FFunctor
generalize
FMonad.Adjoint
get
1 (Function)
FMonad.State.Ran
2 (Function)
FMonad.State.Day
getBicompose
Data.Functor.Bicompose
getFCompose
FFunctor.FCompose
getPrecompose
Data.Functor.Precompose
innerAp
FStrong
iter
FMonad.FFree
leftAdjunct
FFunctor.Adjunction
liftF
FMonad.FFree
liftM'
FMonad.FreeT
mapCurried
FStrong
Precompose
1 (Type/Class)
Data.Functor.Precompose
2 (Data Constructor)
Data.Functor.Precompose
put
1 (Function)
FMonad.State.Ran
2 (Function)
FMonad.State.Day
readerToCurried
Data.Functor.Day.Extra
retract
FMonad.FFree
rightAdjunct
FFunctor.Adjunction
runAdjoint
1 (Function)
FMonad.Adjoint
2 (Function)
FComonad.Adjoint
runAdjointT
1 (Function)
FMonad.Adjoint
2 (Function)
FComonad.Adjoint
runCont
1 (Function)
FMonad.Cont.Curried
2 (Function)
FMonad.Cont.Exp
runState
1 (Function)
FMonad.State.Simple.Outer
2 (Function)
FMonad.State.Simple.Inner
3 (Function)
FMonad.State.Ran
4 (Function)
FMonad.State.Lan
5 (Function)
FMonad.State.Day
runStateT
1 (Function)
FMonad.State.Simple.Outer
2 (Function)
FMonad.State.Simple.Inner
3 (Function)
FMonad.State.Ran
4 (Function)
FMonad.State.Lan
5 (Function)
FMonad.State.Day
runTrail
Control.Monad.Trail
State
1 (Type/Class)
FMonad.State.Simple.Outer
2 (Type/Class)
FMonad.State.Simple.Inner
3 (Type/Class)
FMonad.State.Ran
4 (Type/Class)
FMonad.State.Lan
5 (Type/Class)
FMonad.State.Day
state
1 (Function)
FMonad.State.Simple.Outer
2 (Function)
FMonad.State.Simple.Inner
3 (Function)
FMonad.State.Ran
4 (Function)
FMonad.State.Lan
5 (Function)
FMonad.State.Day
StateT
1 (Type/Class)
FMonad.State.Simple.Outer
2 (Data Constructor)
FMonad.State.Simple.Outer
3 (Type/Class)
FMonad.State.Simple.Inner
4 (Data Constructor)
FMonad.State.Simple.Inner
5 (Type/Class)
FMonad.State.Ran
6 (Data Constructor)
FMonad.State.Ran
7 (Type/Class)
FMonad.State.Lan
8 (Data Constructor)
FMonad.State.Lan
9 (Type/Class)
FMonad.State.Day
10 (Data Constructor)
FMonad.State.Day
state_
1 (Function)
FMonad.State.Ran
2 (Function)
FMonad.State.Day
toAdjointT
1 (Function)
FMonad.State.Simple.Outer
2 (Function)
FMonad.State.Simple.Inner
3 (Function)
FMonad.State.Lan
toExp1
Data.Functor.Exp
toExp1'
Data.Functor.Exp
toInner
1 (Function)
FMonad.State.Ran
2 (Function)
FMonad.State.Lan
3 (Function)
FMonad.State.Day
toOuter
FMonad.State.Day
tracedToDay
Data.Functor.Day.Extra
Trail
1 (Type/Class)
Control.Monad.Trail
2 (Data Constructor)
Control.Monad.Trail
uncurried
Data.Functor.Day.Extra
unExp1
Data.Functor.Exp
unFlip1
Data.Functor.Flip1
ungeneralize
FComonad.Adjoint
unit
FFunctor.Adjunction
unitCurried
Data.Functor.Day.Extra
unwrapFreeT'
FMonad.FreeT
WrapFreeT'
FMonad.FreeT
writerToCurried
Data.Functor.Day.Extra
~>
FFunctor
,
FComonad
,
FMonad
⊚
FFunctor.FCompose