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

Clash.Verification.DSL

Documentation

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

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

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

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

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

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