Control.Effect.Identity

This module provides the function runIdentity for extracting the final result of pure effect interpretations.

Interpretations

runIdentity :: Identity a -> a

Runs a computation using the Identity monad.

You usually need this when an expression of type Monad m => m a remains after handling all the effects and you want to extract its pure result.