Fcf.Class.Monoid · first-class-families-0.8.2.0

datadata (.<>) (b :: a) (c :: a) (d :: a)

Instances1Eval

type Eval (x .<> y) = x <> yDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid

familytype family (<>) (x :: a) (y :: a) :: a

Instances16<>, …

type (<>) 'Nothing b = bDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) 'EQ b = bDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) 'GT _b = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) 'LT _b = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) '(a1, a2) '(b1, b2) = '(a1 <> b1, a2 <> b2)Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) '(a1, a2, a3) '(b1, b2, b3) = '(a1 <> b1, a2 <> b2, a3 <> b3)Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) '[] ys = ysDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) ('Endo f) ('Endo g) = 'Endo (f <=< g)Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid.Types
type (<>) ('All a) ('All b) = 'All (a && b)Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) ('Any a) ('Any b) = 'Any (a || b)Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) ('Just a2) ('Just b) = 'Just (a2 <> b)Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) (x ': xs) ys = x ': xs <> ysDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) _a _b = '()Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) a 'EQ = aDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) a2 'Nothing = a2Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type (<>) x y = AppendSymbol x yDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid

familytype family MEmpty :: a

Instances10MEmpty, …

type MEmpty = ""Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type MEmpty = 'Endo PureDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid.Types
type MEmpty = 'All 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type MEmpty = 'Any 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type MEmpty = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type MEmpty = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type MEmpty = '(MEmpty, MEmpty)Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type MEmpty = '(MEmpty, MEmpty, MEmpty)Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type MEmpty = '()Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
type MEmpty = '[]Defined in first-class-families-0.8.2.0 · Fcf.Class.Monoid

datadata MEmpty_ (b :: a)

Instances1Eval

type Eval MEmpty_ = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid