Test.ClassLaws.TestingState

Implementations of the infrastructure needed to test state monad laws.

Documentation

data Pair a b

Constructors

Pair a b

Instances

(Show (Partial a), Show (Partial b)) => Show (Partial (Pair a b))

(Eq a, Eq b) => Eq (Pair a b)

(Show a, Show b) => Show (Pair a b)

(Arbitrary a, Arbitrary b) => Arbitrary (Pair a b)

(SemanticEq a, SemanticEq b) => SemanticEq (Pair a b)

(SemanticEq (Pair a b), SemanticOrd a, SemanticOrd b) => SemanticOrd (Pair a b)

(CoArbitrary a, CoArbitrary b) => CoArbitrary (Pair a b)

(ArbitraryPartial a, ArbitraryPartial b) => ArbitraryPartial (Pair a b)

fstP :: Pair t t1 -> t

sndP :: Pair t t1 -> t1

newtype State s a

Constructors

S

Fields

runS :: s -> Pair a s

Instances

Monad (State s) => MonadState s (State s)

MonadState s (State s) => MonadStateLaws s (State s)

Monad (State s)

Functor (State s)

(Enum s, Bounded s, Show (Partial a), Show (Partial s)) => Show (Partial (State s a))

(Functor (State s), Monad (State s)) => FunctorMonadLaws (State s)

Monad (State s) => MonadLaws (State s)

Functor (State s) => FunctorLaws (State s)

(Enum a, Bounded a, Eq a, Eq b) => Eq (State a b)

(Enum s, Bounded s, Show a, Show s) => Show (State s a)

(Arbitrary a, Arbitrary s, CoArbitrary s) => Arbitrary (State s a)

(Enum a, Bounded a, SemanticEq a, SemanticEq b) => SemanticEq (State a b)

(SemanticEq (State a b), Enum a, Bounded a, SemanticOrd a, SemanticOrd b) => SemanticOrd (State a b)

(ArbitraryPartial a, SemanticOrd a, ArbitraryPartial s, SemanticOrd s, Enum s, Bounded s, Eq s) => ArbitraryPartial (State s a)

(SemanticEq a, Show (Partial a), SemanticEq s, Show (Partial s), Bounded s, Enum s) => TestEqual (State s a)

getState :: State s s

putState :: s -> State s ()

returnState :: a -> State s a

bindStateL :: State t1 t -> (t -> State t1 a) -> State t1 a

fmapStateL :: (t -> a) -> State t1 t -> State t1 a

bindStateS :: State s a1 -> (a1 -> State s a) -> State s a

fmapStateS :: (a1 -> a) -> State s a1 -> State s a

pairFromGen :: Gen a -> Gen b -> Gen (Pair a b)

pairShowPartial :: String -> Pair a b -> String

basicPairShow :: (a -> String) -> (b -> String) -> Pair a b -> String

pairRecPatt :: (a -> a -> ta) -> (b -> b -> tb) -> (ta -> tb -> t) -> Pair a b -> Pair a b -> t

statePatt :: ((t1 -> Pair t2 t1) -> (t3 -> Pair t4 t3) -> t) -> State t1 t2 -> State t3 t4 -> t

enumTotArb :: [(Int, a)] -> Gen a

enumShowBot_auxLst :: (Bounded a, Enum a) => [String] -> a -> String

newtype SS s a

Constructors

SS

Fields

unSS :: State s a

Instances

Monad (SS s) => MonadState s (SS s)

MonadState s (SS s) => MonadStateLaws s (SS s)

Monad (SS s)

Functor (SS s)

(Enum s, Bounded s, Show (Partial a), Show (Partial s)) => Show (Partial (SS s a))

(Functor (SS s), Monad (SS s)) => FunctorMonadLaws (SS s)

Monad (SS s) => MonadLaws (SS s)

Functor (SS s) => FunctorLaws (SS s)

(Bounded s, Enum s, Show s, Show a) => Show (SS s a)

(Arbitrary s, Arbitrary a, CoArbitrary s) => Arbitrary (SS s a)

(Bounded s, Enum s, SemanticEq s, SemanticEq a) => SemanticEq (SS s a)

(SemanticEq (SS s a), Bounded s, Enum s, SemanticOrd s, SemanticOrd a) => SemanticOrd (SS s a)

(Bounded s, Enum s, Eq s, SemanticOrd s, SemanticOrd a, ArbitraryPartial s, ArbitraryPartial a) => ArbitraryPartial (SS s a)

(SemanticEq a, Show (Partial a), SemanticEq s, Show (Partial s), Bounded s, Enum s) => TestEqual (SS s a)