ixmonad-0.50: Embeds effect systems into Haskell using an parameteric effect monad (the |Effect| type class)

Safe HaskellNone
LanguageHaskell98

Control.Effect.WriteOnceWriter

Documentation

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

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 = ()