monad-choice-0.2.0.0: Monad, monad transformer, and typeclass representing choices.

Copyright(c) Eamon Olive 2020
(c) Louis Hyde 2020
LicenseAGPL-3
Maintainerejolive97@gmail.com
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

Control.Monad.Choice.Invariant

Description

 

Documentation

type Choice f a = ChoiceT f Identity a Source #

runChoice :: (forall x. f x -> x) -> Choice f a -> a Source #