Type.Row.Effect.Equality

class EffectRowEquals (a :: Row Effect) (b :: Row Effect) | a -> b, b -> a where

This type class asserts that effect rows a and b are equal.

The functional dependencies and the single instance below will force the two type arguments to unify when either one is known.

Note: any instance will necessarily ovelap with refl below, so instances of this class should not be defined in libraries.

Members

• to :: forall r. r a -> r b
• from :: forall r. r b -> r a

Instances

• EffectRowEquals a a

effTo :: forall x b a e. EffectRowEquals a b => e a x -> e b x

A version of to that can be applied to types like Eff, Aff, etc.

effFrom :: forall x b a e. EffectRowEquals a b => e b x -> e a x

A version of from that can be applied to types like Eff, Aff, etc.