effet-0.4.0.0: An Effect System based on Type Classes

Control.Effect.Identity

Description

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

Synopsis

# Interpretations

runIdentity :: Identity a -> a Source #

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.

Since: 0.3.0.2