Copyright	(C) 2019 Myrtle Software Ltd
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010

Clash.Class.HasDomain.Common

Contents

Description

Synopsis

Documentation

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

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 Source #

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

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

Equations

Internal

type family ToEM (k :: t) :: ErrorMessage where ... Source #

Equations