Type.Monoid

Documentation

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

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

Instances

type Concat ([] :: [k]) (lst :: [k])

Defined in Type.List

type Concat ([] :: [k]) (lst :: [k]) = lst

type Concat (Set set :: Type) (Set (s ': ss) :: Type)

Defined in Type.Set

type Concat (Set set :: Type) (Set (s ': ss) :: Type) = If (In s set) (Concat (Set set) (Set ss)) (Concat (Insert s (Set set)) (Set ss))

type Concat (Set set :: Type) (Set ([] :: [k2]) :: Type)

Defined in Type.Set

type Concat (Set set :: Type) (Set ([] :: [k2]) :: Type) = Set set

type Concat (l ': ls :: [k]) (lst :: [k])

Defined in Type.List

type Concat (l ': ls :: [k]) (lst :: [k]) = l ': Concat ls lst