Test.StateMachine.Types.Rank2

Documentation

class Functor (f :: (k -> Type) -> Type)

Instances

Functor (U1 :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

fmap :: (forall (x :: k0). p x -> q x) -> U1 p -> U1 q

Functor f => Functor (Rec1 f :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

fmap :: (forall (x :: k0). p x -> q x) -> Rec1 f p -> Rec1 f q

(Functor f, Functor g) => Functor (f :*: g :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

fmap :: (forall (x :: k0). p x -> q x) -> (f :*: g) p -> (f :*: g) q

(Functor f, Functor g) => Functor (f :+: g :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

fmap :: (forall (x :: k0). p x -> q x) -> (f :+: g) p -> (f :+: g) q

Functor (K1 i c :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

fmap :: (forall (x :: k0). p x -> q x) -> K1 i c p -> K1 i c q

Functor f => Functor (M1 i c f :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

fmap :: (forall (x :: k0). p x -> q x) -> M1 i c f p -> M1 i c f q

(Functor f, Functor g) => Functor (f :.: g :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

fmap :: (forall (x :: k0). p x -> q x) -> (f :.: g) p -> (f :.: g) q

Functor (Reference a :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Types.References

Methods

fmap :: (forall (x :: k). p x -> q x) -> Reference a p -> Reference a q

(NTraversable (Resp t), SListI (RealHandles t)) => Functor (At (Resp t) :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Lockstep.NAry

Methods

fmap :: (forall (x :: k). p x -> q x) -> At (Resp t) p -> At (Resp t) q

(NTraversable (Cmd t), SListI (RealHandles t)) => Functor (At (Cmd t) :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Lockstep.NAry

Methods

fmap :: (forall (x :: k). p x -> q x) -> At (Cmd t) p -> At (Cmd t) q

fmap :: Functor f => (forall x. p x -> q x) -> f p -> f q

gfmap :: (Generic1 f, Functor (Rep1 f)) => (forall a. p a -> q a) -> f p -> f q

(<$>) :: Functor f => (forall x. p x -> q x) -> f p -> f q

class Foldable (f :: (k -> Type) -> Type)

Instances

Foldable (U1 :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

foldMap :: Monoid m => (forall (x :: k0). p x -> m) -> U1 p -> m

Foldable f => Foldable (Rec1 f :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

foldMap :: Monoid m => (forall (x :: k0). p x -> m) -> Rec1 f p -> m

(Foldable f, Foldable g) => Foldable (f :*: g :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

foldMap :: Monoid m => (forall (x :: k0). p x -> m) -> (f :*: g) p -> m

(Foldable f, Foldable g) => Foldable (f :+: g :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

foldMap :: Monoid m => (forall (x :: k0). p x -> m) -> (f :+: g) p -> m

Foldable (K1 i c :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

foldMap :: Monoid m => (forall (x :: k0). p x -> m) -> K1 i c p -> m

Foldable f => Foldable (M1 i c f :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

foldMap :: Monoid m => (forall (x :: k0). p x -> m) -> M1 i c f p -> m

(Foldable f, Foldable g) => Foldable (f :.: g :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

foldMap :: Monoid m => (forall (x :: k0). p x -> m) -> (f :.: g) p -> m

Foldable (Reference a :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Types.References

Methods

foldMap :: Monoid m => (forall (x :: k). p x -> m) -> Reference a p -> m

(NTraversable (Resp t), SListI (RealHandles t)) => Foldable (At (Resp t) :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Lockstep.NAry

Methods

foldMap :: Monoid m => (forall (x :: k). p x -> m) -> At (Resp t) p -> m

(NTraversable (Cmd t), SListI (RealHandles t)) => Foldable (At (Cmd t) :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Lockstep.NAry

Methods

foldMap :: Monoid m => (forall (x :: k). p x -> m) -> At (Cmd t) p -> m

foldMap :: (Foldable f, Monoid m) => (forall x. p x -> m) -> f p -> m

gfoldMap :: (Generic1 f, Foldable (Rep1 f), Monoid m) => (forall a. p a -> m) -> f p -> m

class (Functor t, Foldable t) => Traversable (t :: (k -> Type) -> Type)

Instances

Traversable (U1 :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

traverse :: Applicative f => (forall (a :: k0). p a -> f (q a)) -> U1 p -> f (U1 q)

Traversable f => Traversable (Rec1 f :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

traverse :: Applicative f0 => (forall (a :: k0). p a -> f0 (q a)) -> Rec1 f p -> f0 (Rec1 f q)

(Traversable f, Traversable g) => Traversable (f :*: g :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

traverse :: Applicative f0 => (forall (a :: k0). p a -> f0 (q a)) -> (f :*: g) p -> f0 ((f :*: g) q)

(Traversable f, Traversable g) => Traversable (f :+: g :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

traverse :: Applicative f0 => (forall (a :: k0). p a -> f0 (q a)) -> (f :+: g) p -> f0 ((f :+: g) q)

Traversable (K1 i c :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

traverse :: Applicative f => (forall (a :: k0). p a -> f (q a)) -> K1 i c p -> f (K1 i c q)

Traversable f => Traversable (M1 i c f :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

traverse :: Applicative f0 => (forall (a :: k0). p a -> f0 (q a)) -> M1 i c f p -> f0 (M1 i c f q)

(Traversable f, Traversable g) => Traversable (f :.: g :: (k -> Type) -> Type)

Defined in Test.StateMachine.Types.Rank2

Methods

traverse :: Applicative f0 => (forall (a :: k0). p a -> f0 (q a)) -> (f :.: g) p -> f0 ((f :.: g) q)

Traversable (Reference a :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Types.References

Methods

traverse :: Applicative f => (forall (a0 :: k). p a0 -> f (q a0)) -> Reference a p -> f (Reference a q)

(NTraversable (Resp t), SListI (RealHandles t)) => Traversable (At (Resp t) :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Lockstep.NAry

Methods

traverse :: Applicative f => (forall (a :: k). p a -> f (q a)) -> At (Resp t) p -> f (At (Resp t) q)

(NTraversable (Cmd t), SListI (RealHandles t)) => Traversable (At (Cmd t) :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Lockstep.NAry

Methods

traverse :: Applicative f => (forall (a :: k). p a -> f (q a)) -> At (Cmd t) p -> f (At (Cmd t) q)

traverse :: (Traversable t, Applicative f) => (forall a. p a -> f (q a)) -> t p -> f (t q)

gtraverse :: (Generic1 t, Traversable (Rep1 t), Applicative f) => (forall a. p a -> f (q a)) -> t p -> f (t q)