Index

A

Applicative (class in mir.monads.abc) apply() (mir.monads.abc.Applicative method) (mir.monads.id.Identity method) (mir.monads.maybe.Just method) (mir.monads.maybe.Nothing method)

arity (mir.monads.data.Constructor attribute)

B

bind() (mir.monads.abc.Monad method) (mir.monads.id.Identity method) (mir.monads.maybe.Just method) (mir.monads.maybe.Nothing method)

C

Constructor (class in mir.monads.data)

F

fmap() (mir.monads.abc.Functor method) (mir.monads.id.Identity method) (mir.monads.maybe.Just method) (mir.monads.maybe.Nothing method)

Functor (class in mir.monads.abc)

I

Identity (class in mir.monads.id)

J

Just (class in mir.monads.maybe)

M

Maybe (class in mir.monads.maybe) mir.monads.abc (module) mir.monads.data (module) mir.monads.id (module)

mir.monads.maybe (module) Monad (class in mir.monads.abc) monadic() (in module mir.monads.maybe)

N

Nothing (class in mir.monads.maybe)