idris-0.9.17: libs/base/Control/Monad/Identity.idr

module Control.Monad.Identity

public record Identity : Type -> Type where
    Id : (runIdentity : a) -> Identity a

instance Functor Identity where
    map fn (Id a) = Id (fn a)

instance Applicative Identity where
    pure x = Id x

    (Id f) <*> (Id g) = Id (f g)

instance Monad Identity where
    (Id x) >>= k = k x