Hoogle Search
Within LTS Haskell 24.13 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc-lib-parser GHC.Hs.Expr No documentation available.
ApplicativeArgOne :: XApplicativeArgOne idL -> LPat idL -> LHsExpr idL -> Bool -> ApplicativeArg idLghc-lib-parser GHC.Hs.Expr No documentation available.
-
ghc-lib-parser GHC.Hs.Expr ApplicativeStmt represents an applicative expression built with <$> and <*>. It is generated by the renamer, and is desugared into the appropriate applicative expression by the desugarer, but it is intended to be invisible in error messages. For full details, see Note [ApplicativeDo] in GHC.Rename.Expr
-
ghc-lib-parser GHC.Hs.Expr No documentation available.
-
ghc-lib-parser GHC.Internal.LanguageExtensions No documentation available.
-
ghc-lib-parser GHC.LanguageExtensions.Type No documentation available.
-
hint Language.Haskell.Interpreter No documentation available.
-
hint Language.Haskell.Interpreter.Extension No documentation available.
module Synthesizer.
ApplicativeUtility No documentation available.
class FunctorB b =>
ApplicativeB (b :: k -> Type -> Type)barbies Data.Functor.Barbie A FunctorB with application, providing operations to:
It should satisfy the following laws:- Naturality of bprod
bmap ((Pair a b) -> Pair (f a) (g b)) (u `bprod' v) = bmap f u `bprod' bmap g v
- Left and right identity
bmap ((Pair _ b) -> b) (bpure e `bprod' v) = v bmap ((Pair a _) -> a) (u `bprod' bpure e) = u
- Associativity
bmap ((Pair a (Pair b c)) -> Pair (Pair a b) c) (u `bprod' (v `bprod' w)) = (u `bprod' v) `bprod' w
It is to FunctorB in the same way as Applicative relates to Functor. For a presentation of Applicative as a monoidal functor, see Section 7 of Applicative Programming with Effects. There is a default implementation of bprod and bpure based on Generic. Intuitively, it works on types where the value of bpure is uniquely defined. This corresponds rougly to record types (in the presence of sums, there would be several candidates for bpure), where every field is either a Monoid or covered by the argument f.