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.
-
simple-pango Graphics.Pango.Basic.LayoutObjects.PangoLayout.Internal No documentation available.
-
streamly-core Streamly.Internal.Data.Maybe.Strict No documentation available.
type family
JustToConstr (a :: Maybe k) ctype-fun TypeFun.Data.Maybe No documentation available.
JustSort :: b -> OutputConstraint_boot tcErr a bAgda Agda.Interaction.Base No documentation available.
JustType :: b -> OutputConstraint_boot tcErr a bAgda Agda.Interaction.Base No documentation available.
JustRHS :: RHS -> RHSOrTypeSigsAgda Agda.Syntax.Parser.Helpers No documentation available.
-
Agda Agda.TypeChecking.Positivity.Occurrence Negative occurrence.
-
Agda Agda.TypeChecking.Positivity.Occurrence Positive occurrence, but not strictly positive.
-
LPFP LPFP No documentation available.
-
LPFP LPFP.MOExamples No documentation available.