Control.Joint.Base.State

Documentation

newtype State s a

Constructors

State (((->) s :. (,) s) := a)

Instances

Monad (State s)

Defined in Control.Joint.Base.State

Methods

(>>=) :: State s a -> (a -> State s b) -> State s b

(>>) :: State s a -> State s b -> State s b

return :: a -> State s a

fail :: String -> State s a

Functor (State s)

Defined in Control.Joint.Base.State

Methods

fmap :: (a -> b) -> State s a -> State s b

(<$) :: a -> State s b -> State s a

Applicative (State s)

Defined in Control.Joint.Base.State

Methods

pure :: a -> State s a

(<*>) :: State s (a -> b) -> State s a -> State s b

liftA2 :: (a -> b -> c) -> State s a -> State s b -> State s c

(*>) :: State s a -> State s b -> State s b

(<*) :: State s a -> State s b -> State s a

Composition (State s)

Defined in Control.Joint.Base.State

Associated Types

type Primary (State s) a :: Type

Methods

run :: State s a -> Primary (State s) a

Transformer (State s)

Defined in Control.Joint.Base.State

Associated Types

type Schema (State s) u = (r :: Type -> Type)

Methods

embed :: Functor u => u ~> Schema (State s) u

build :: Applicative u => State s ~> Schema (State s) u

unite :: Primary (Schema (State s) u) a -> Schema (State s) u a

type Primary (State s) a

Defined in Control.Joint.Base.State

type Primary (State s) a = (((->) s :: Type -> Type) :. (,) s) := a

type Schema (State s) u

Defined in Control.Joint.Base.State

type Schema (State s) u = TUT ((->) s :: Type -> Type) u ((,) s)

statefully :: s -> State s a -> (s, a)

get :: State s s

modify :: (s -> s) -> State s ()

put :: s -> State s ()

Orphan instances

Monad u => Monad (TUT ((->) s :: Type -> Type) u ((,) s))

Methods

(>>=) :: TUT ((->) s) u ((,) s) a -> (a -> TUT ((->) s) u ((,) s) b) -> TUT ((->) s) u ((,) s) b

(>>) :: TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) b

return :: a -> TUT ((->) s) u ((,) s) a

fail :: String -> TUT ((->) s) u ((,) s) a

Functor u => Functor (TUT ((->) s :: Type -> Type) u ((,) s))

Methods

fmap :: (a -> b) -> TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b

(<$) :: a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) a

Monad u => Applicative (TUT ((->) s :: Type -> Type) u ((,) s))

Methods

pure :: a -> TUT ((->) s) u ((,) s) a

(<*>) :: TUT ((->) s) u ((,) s) (a -> b) -> TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b

liftA2 :: (a -> b -> c) -> TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) c

(*>) :: TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) b

(<*) :: TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) a