Data.Profunctor.State.Class

Documentation

class (Category p, Profunctor p) => ProfunctorState s p | p -> s where

Minimal complete definition

state | get, put

Methods

get :: p a (a, s)

put :: p (a, s) a

state :: p (a, s) (b, s) -> p a b

Instances

(Category p, Profunctor p) => ProfunctorState s (StateT s p)

Defined in Data.Profunctor.State

Methods

get :: StateT s p a (a, s)

put :: StateT s p (a, s) a

state :: StateT s p (a, s) (b, s) -> StateT s p a b

class Profunctor p => ProfunctorState' s p | p -> s where

Minimal complete definition

get', put'

Methods

get' :: p (a, s) b -> p a b

put' :: p a (b, s) -> p a b

Instances

Profunctor p => ProfunctorState' s (StateT s p)

Defined in Data.Profunctor.State

Methods

get' :: StateT s p (a, s) b -> StateT s p a b

put' :: StateT s p a (b, s) -> StateT s p a b