proton-0.0.4
Safe HaskellNone
LanguageHaskell2010

Data.Profunctor.State.Class

Documentation

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

Minimal complete definition

state | get, put

Methods

get :: p a (a, s) Source #

put :: p (a, s) a Source #

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

Instances

Instances details
(Category p, Profunctor p) => ProfunctorState s (StateT s p) Source # 
Instance details

Defined in Data.Profunctor.State

Methods

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

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

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

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

Minimal complete definition

get', put'

Methods

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

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

Instances

Instances details
Profunctor p => ProfunctorState' s (StateT s p) Source # 
Instance details

Defined in Data.Profunctor.State

Methods

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

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