Hoogle Search
Within LTS Haskell 24.12 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
termbox-tea Termbox.Tea No documentation available.
-
termbox-tea Termbox.Tea No documentation available.
WrapArrow :: a b c -> WrappedArrow (a :: Type -> Type -> Type) b cthreepenny-gui Graphics.UI.Threepenny.Core No documentation available.
newtype
WrappedArrow (a :: Type -> Type -> Type) b cthreepenny-gui Graphics.UI.Threepenny.Core No documentation available.
unwrapArrow :: WrappedArrow (a :: Type -> Type -> Type) b c -> a b cthreepenny-gui Graphics.UI.Threepenny.Core No documentation available.
narrowedContent :: (Text -> Maybe a) -> Content axml-parser XmlParser Map the content to a type if it's valid.
DoubleRightArrow :: ReservedOpyi-misc-modes Yi.Lexer.Abella No documentation available.
-
yi-misc-modes Yi.Lexer.Abella No documentation available.
narrowedText :: (Text -> Maybe a) -> String aaeson-value-parser AesonValueParser No documentation available.
class Morphism a =>
PreArrow (a :: Type -> Type -> Type)constrained-categories Control.Arrow.Constrained Unlike first, second, *** and arr, the fanout operation &&& has an intrinsic notion of "direction": it is basically equivalent to precomposing the result of *** with a b -> (b,b), but that is only available for arrows that generalise ordinary functions, in their native direction. ((b,b) ->b is specific to semigroups.) It is for this reason the only constituent class of Arrow that actually has "arrow" in its name. In terms of category theory, this "direction" reflects the distinction between initial- and terminal objects. The latter are more interesting, basically what UnitObject is useful for. It gives rise to the tuple selector morphisms as well.