Control.Effect.Misc

Definitions

FunctorId : Functor (\x => x)

Visibility: public export

FunctorLeftPair : Functor (\{__leftTupleSection:0} => ({__leftTupleSection:0}, s))

Visibility: public export

ApplicativeId : Applicative (\x => x)

Visibility: public export

MonadId : Monad (\x => x)

Visibility: public export