Hoogle Search
Within LTS Haskell 24.17 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
:- ) :: forall x (xs1 :: [Type]) . x -> HVec xs1 -> HVec (x ': xs1)equational-reasoning Proof.Equational No documentation available.
-
equational-reasoning Proof.Equational No documentation available.
-
equational-reasoning Proof.Equational No documentation available.
-
equational-reasoning Proof.Equational Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.
-
esqueleto Database.Esqueleto.Experimental A left-precedence pair. Pronounced "and". Used to represent expressions that have been joined together. The precedence behavior can be demonstrated by:
a :& b :& c == ((a :& b) :& c)
See the examples at the beginning of this module to see how this operator is used in JOIN operations. -
esqueleto Database.Esqueleto.Experimental No documentation available.
-
esqueleto Database.Esqueleto.Experimental.From.Join A left-precedence pair. Pronounced "and". Used to represent expressions that have been joined together. The precedence behavior can be demonstrated by:
a :& b :& c == ((a :& b) :& c)
See the examples at the beginning of this module to see how this operator is used in JOIN operations. -
esqueleto Database.Esqueleto.Experimental.From.Join No documentation available.
-
esqueleto Database.Esqueleto.Internal.Internal A left-precedence pair. Pronounced "and". Used to represent expressions that have been joined together. The precedence behavior can be demonstrated by:
a :& b :& c == ((a :& b) :& c)
See the examples at the beginning of this module to see how this operator is used in JOIN operations. -
esqueleto Database.Esqueleto.Internal.Internal No documentation available.