Hoogle Search
Within LTS Haskell 22.26 (ghc-9.6.5)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data () => (a :: k)
:~: (b :: k)lens Control.Lens.Combinators 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.
pattern (
:< ) :: Cons b b a a => a -> b -> blens Control.Lens.Cons No documentation available.
pattern (
:> ) :: Snoc a a b b => a -> b -> alens Control.Lens.Cons No documentation available.
data () => (a :: k)
:~: (b :: k)lens Control.Lens.Equality 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.
-
test-framework Test.Framework.Providers.API No documentation available.
(
:| ) :: a -> [a] -> NonEmpty abase-compat Data.List.NonEmpty.Compat No documentation available.
(
:. ) :: a -> Vec n a -> Vec ('S n) ahedgehog Hedgehog.Internal.Gen No documentation available.
type p
:-> q = forall a b . p a b -> q a bprofunctors Data.Profunctor (:->) has a polymorphic kind since 5.6.
type p
:-> q = forall a b . p a b -> q a bprofunctors Data.Profunctor.Types (:->) has a polymorphic kind since 5.6.
(
:| ) :: a -> DList a -> DNonEmpty adlist Data.DList.DNonEmpty No documentation available.