Clash.Class.HasDomain.Common

Documentation

type family Unlines (ln :: [k]) :: ErrorMessage where ...

Combine multiple lines with line break. Type-level version of the unlines function but for ErrorMessage.

Equations

Unlines '[] = Text ""

Unlines ((x :: Symbol) ': xs) = Text x :$$: Unlines xs

Unlines ((x :: ErrorMessage) ': xs) = x :$$: Unlines xs

type (:<<>>:) (k1 :: t1) (k2 :: t2) = ToEM k1 :<>: ToEM k2 infixl 5

type (:$$$:) (k1 :: t1) (k2 :: t2) = ToEM k1 :$$: ToEM k2 infixl 4

type family (as :: [k]) :++: (bs :: [k]) :: [k] where ... infixl 4

Equations

a :++: '[] = a

'[] :++: b = b

(a ': as) :++: bs = a ': (as :++: bs)