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
Type
applicative
ask
asks
functor
local
monad
terms.dhall
withReader
ReaderT
Semigroup
Semigroupoid
State
StateT
Strong
Transformer
Traversable
Tuple
Yoneda
docs
scripts
.dir-locals.el
Makefile
README.md
/
Reader
/ withReader
withReader
1
λ(r : Type) → ./../ReaderT/withReader r ./../Identity/Type