typelevel-1.2.2: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Type.Monoid

Documentation

type (<>) a b = Concat a b infixr 6 Source #

type family Concat (a :: k) (b :: k) :: k Source #

Instances

type Concat [k] ([] k) lst Source # 
type Concat [k] ([] k) lst = lst
type Concat * (Set k2 set) (Set k1 ((:) k1 s ss)) Source # 
type Concat * (Set k2 set) (Set k1 ((:) k1 s ss)) = If * (In k1 [k2] s set) (Concat * (Set k2 set) (Set k1 ss)) (Concat * (Insert k1 * s (Set k2 set)) (Set k1 ss))
type Concat * (Set k1 set) (Set k2 ([] k2)) Source # 
type Concat * (Set k1 set) (Set k2 ([] k2)) = Set k1 set
type Concat [k] ((:) k l ls) lst Source # 
type Concat [k] ((:) k l ls) lst = (:) k l (Concat [k] ls lst)