ixmonad-0.56: Embeds effect systems into Haskell using parameteric effect monads

Safe HaskellNone
LanguageHaskell98

Control.Effect.WriteOnceWriter

Synopsis

Documentation

put :: a -> WriteOnce `[a]` () Source

Write a value of type a |

data WriteOnce w a Source

Constructors

W 

Fields

runWriteOnce :: (a, List w)
 

Instances

Effect [*] WriteOnce 
type Unit [*] WriteOnce = [] * 
type Plus [*] WriteOnce s t = (:++) s t 
type Inv [*] WriteOnce s t = ()