MonadReader

MonadReader(MonadReader)

code:lean.hs

class MonadReader (ρ : outParam (Type u)) (m : Type u → Type v) : Type (max (u + 1) v) where

read : m ρ

instance Monad m : MonadReader ρ (ReaderT ρ m) where

read := fun env => pure env

export MonadReader (read)

確認用

Q. MonadReader

調査用