Control.Alternative.Operational

operational-style Alternative programs. See Control.Applicative.Operational for guidance on how to use this module.

Documentation

module Control.Operational.Class

newtype ProgramAlt instr a

Constructors

ProgramAlt

Fields

toAlt :: Alt (Yoneda instr) a

Interpret the program as a free Alternative (Alt).

Instances

Operational instr (ProgramAlt instr)

Functor (ProgramAlt instr)

Applicative (ProgramAlt instr)

Alternative (ProgramAlt instr)

interpretAlt :: forall instr f a. Alternative f => (forall x. instr x -> f x) -> ProgramAlt instr a -> f a

fromProgramAlt :: (Operational instr f, Alternative f) => ProgramAlt instr a -> f a

data ProgramViewAlt instr a where

Constructors

Pure :: a -> ProgramViewAlt instr a

:<**> :: instr a -> ProgramViewAlt instr (a -> b) -> ProgramViewAlt instr b

Empty :: ProgramViewAlt instr a

:<|> :: ProgramViewAlt instr a -> ProgramViewAlt instr a -> ProgramViewAlt instr a

viewAlt :: ProgramAlt instr a -> ProgramViewAlt instr a