Safe Haskell	Safe-Inferred
Language	Haskell2010

Bluefin.Capability.Modify

Contents

Synopsis

type Modify = State
evalModify :: forall s (es :: Effects) a. s -> (forall (e :: Effects). Modify s e -> Eff (e :& es) a) -> Eff es a
runModify :: forall s (es :: Effects) a. s -> (forall (e :: Effects). Modify s e -> Eff (e :& es) a) -> Eff es (a, s)
withModify :: forall s (es :: Effects) a. s -> (forall (e :: Effects). Modify s e -> Eff (e :& es) (s -> a)) -> Eff es a
get :: forall (e :: Effects) (es :: Effects) s. e <: es => State s e -> Eff es s
put :: forall (e :: Effects) (es :: Effects) s. e <: es => State s e -> s -> Eff es ()
modify :: forall (e :: Effects) (es :: Effects) s. e <: es => State s e -> (s -> s) -> Eff es ()

Capability

Handlers

evalModify :: forall s (es :: Effects) a. s -> (forall (e :: Effects). Modify s e -> Eff (e :& es) a) -> Eff es a #

runModify :: forall s (es :: Effects) a. s -> (forall (e :: Effects). Modify s e -> Eff (e :& es) a) -> Eff es (a, s) #

withModify :: forall s (es :: Effects) a. s -> (forall (e :: Effects). Modify s e -> Eff (e :& es) (s -> a)) -> Eff es a #

get :: forall (e :: Effects) (es :: Effects) s. e <: es => State s e -> Eff es s #

put :: forall (e :: Effects) (es :: Effects) s. e <: es => State s e -> s -> Eff es () #

modify :: forall (e :: Effects) (es :: Effects) s. e <: es => State s e -> (s -> s) -> Eff es () #