Cradicle Explorer
dhall-bhat
Info
Issues
Patches
Wallets
Source
Source
.circleci
Applicative
Arrow
Bifunctor
Category
Codensity
Comonad
Compose
Coyoneda
Density
DifferenceList
Either
EitherT
Foldable
Function
Functor
Identity
Kleisli
Lan
List
Monad
Monoid
NonEmptyList
Optional
Profunctor
Ran
Reader
ReaderT
Semigroup
Semigroupoid
State
Type
applicative
eval
exec
functor
get
gets
modify
monad
put
terms.dhall
withState
StateT
Strong
Transformer
Traversable
Tuple
Yoneda
docs
scripts
.dir-locals.el
Makefile
README.md
/
State
/ withState
withState
1
λ(s : Type) → ./../StateT/withState s ./../Identity/Type