| Copyright | (c) Michael Szvetits 2020 |
|---|---|
| License | BSD3 (see the file LICENSE) |
| Maintainer | typedbyte@qualified.name |
| Stability | stable |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Control.Effect.Identity
Contents
Description
This module provides the function runIdentity for extracting the final
result of pure effect interpretations.
Synopsis
- runIdentity :: Identity a -> a
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