Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
pattern (
:> ) :: Snoc a a b b => a -> b -> adiagrams-lib Diagrams.Prelude No documentation available.
-
diagrams-lib Diagrams.Prelude 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.
(
:| ) :: a -> [a] -> NonEmpty aCabal-syntax Distribution.Compat.Prelude No documentation available.
-
comfort-array Data.Array.Comfort.Shape Row-major composition of two dimensions.
>>> Shape.indices (Shape.ZeroBased (3::Int) ::+ Shape.Range 'a' 'c') [Left 0,Left 1,Left 2,Right 'a',Right 'b',Right 'c']
(
::+ ) :: sh0 -> sh1 -> (::+) sh0 sh1comfort-array Data.Array.Comfort.Shape No documentation available.
-
hxt Control.Arrow.ArrowIf No documentation available.
-
singletons Data.Singletons.Decide 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.
-
singletons Data.Singletons.Sigma No documentation available.
(
:&: ) :: forall s (a :: s ~> Type) (fst :: s) . Sing fst -> (a @@ fst) -> Sigma s asingletons Data.Singletons.Sigma No documentation available.
newtype ((f :: l -> Type)
:.: (g :: k -> l)) (p :: k)sop-core Data.SOP Composition of functors. Like Compose, but kind-polymorphic and with a shorter name.