Modulebarbies-2.1.1.0
Barbies.Constraints
- 2 types
- 3 classes
- 1 value
- Packagebarbies-2.1.1.0
- Exports6
- LicenceBSD-3-Clause
Instances1&
(c a, d a) => (&) c d aDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB
Instances1ClassF
c (f a) => ClassF c f aDefined in barbies-2.1.1.0 · Barbies.Internal.Dicts
class
class c (f a) (g a) => ClassFG (c :: k -> k1 -> Constraint) (f :: k2 -> k) (g :: k2 -> k1) (a :: k2)Instances1ClassFG
c (f a) (g a) => ClassFG c f g aDefined in barbies-2.1.1.0 · Barbies.Internal.Dicts
Instances8GConstraints, Show1, Eq, Show, …
(ConstraintsB b, AllB c b) => GConstraintsDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB · orphan0
c f (Other (b' (P0
X)) (b X)) (Rec (b' (P0
f)) (b f)) (Rec (b' (P0
(Product (Dict c) f))) (b (Product (Dict c) f)))(ConstraintsB b, AllB c b) => GConstraintsDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsB · orphan0
c f (Self (b' (P0
X)) (b X)) (Rec (b' (P0
f)) (b f)) (Rec (b' (P0
(Product (Dict c) f))) (b (Product (Dict c) f)))(ConstraintsT t, AllT c t) => GConstraintsDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsT · orphan1
c f (Other (t' (P1
X) Y) (t X Y)) (Rec (t' (P1
f) (P0
y)) (t f y)) (Rec (t' (P1
(Product (Dict c) f)) (P0
y)) (t (Product (Dict c) f) y))(ConstraintsT t, AllT c t) => GConstraintsDefined in barbies-2.1.1.0 · Barbies.Internal.ConstraintsT · orphan1
c f (Self (t' (P1
X) Y) (t X Y)) (Rec (t' (P1
f) (P0
y)) (t f y)) (Rec (t' (P1
(Product (Dict c) f)) (P0
y)) (t (Product (Dict c) f) y))GConstraints n c f (Rec (P n X a') (X a)) (Rec (P n f a') (f a)) (Rec (P n (Product (Dict c) f) a') (Product (Dict c) f a))Defined in barbies-2.1.1.0 · Barbies.Generics.ConstraintsShow1 (Dict c)Defined in barbies-2.1.1.0 · Barbies.Internal.DictsEq (Dict c a)Defined in barbies-2.1.1.0 · Barbies.Internal.DictsShow (Dict c a)Defined in barbies-2.1.1.0 · Barbies.Internal.Dicts