clash-prelude-1.8.4: Clash: a functional hardware description language - Prelude library

Safe Haskell | None
Language | Haskell2010

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 #