Hoogle Search
Within LTS Haskell 24.55 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
class Arrow a =>
ArrowLoop (a :: Type -> Type -> Type)essence-of-live-coding LiveCoding The loop operator expresses computations in which an output value is fed back as input, although the computation occurs only once. It underlies the rec value recursion construct in arrow notation. loop should satisfy the following laws:
- extension loop (arr f) = arr (\ b -> fst (fix (\ (c,d) -> f (b,d))))
- left tightening loop (first h >>> f) = h >>> loop f
- right tightening loop (f >>> first h) = loop f >>> h
- sliding loop (f >>> arr (id *** k)) = loop (arr (id *** k) >>> f)
- vanishing loop (loop f) = loop (arr unassoc >>> f >>> arr assoc)
- superposing second (loop f) = loop (arr assoc >>> second f >>> arr unassoc)
assoc ((a,b),c) = (a,(b,c)) unassoc (a,(b,c)) = ((a,b),c)
newtype
ArrowMonad (a :: Type -> Type -> Type) bessence-of-live-coding LiveCoding The ArrowApply class is equivalent to Monad: any monad gives rise to a Kleisli arrow, and any instance of ArrowApply defines a monad.
ArrowMonad :: a () b -> ArrowMonad (a :: Type -> Type -> Type) bessence-of-live-coding LiveCoding No documentation available.
class ArrowZero a =>
ArrowPlus (a :: Type -> Type -> Type)essence-of-live-coding LiveCoding A monoid on arrows.
class Arrow a =>
ArrowZero (a :: Type -> Type -> Type)essence-of-live-coding LiveCoding No documentation available.
-
ghc-lib-parser GHC.Internal.LanguageExtensions No documentation available.
-
ghc-lib-parser GHC.Internal.TH.Syntax ->
-
ghc-lib-parser GHC.LanguageExtensions.Type No documentation available.
-
ghc-lib-parser GHC.Parser.Lexer No documentation available.
ArrowIsFunType :: forall lhs . ArrowParsingMode lhs lhsghc-lib-parser GHC.Parser.PostProcess No documentation available.