clash-prelude-1.4.2: Clash: a functional hardware description language - Prelude library
Safe HaskellNone
LanguageHaskell2010

Clash.Verification.DSL

Documentation

(|&|) :: (AssertionValue dom a, AssertionValue dom b) => a -> b -> Assertion dom infixr 5 Source #

(|||) :: (AssertionValue dom a, AssertionValue dom b) => a -> b -> Assertion dom infixr 4 Source #

(~>) :: (AssertionValue dom a, AssertionValue dom b) => a -> b -> Assertion dom infixr 0 Source #

(|=>) :: (AssertionValue dom a, AssertionValue dom b) => a -> b -> Assertion dom infixr 1 Source #

(|->) :: (AssertionValue dom a, AssertionValue dom b) => a -> b -> Assertion dom infixr 1 Source #

(#|#) :: (AssertionValue dom a, AssertionValue dom b) => a -> b -> Assertion dom infixr 3 Source #