Applicative Functors

GPTKB entity

Statements (38)
Predicate Object
gptkbp:instanceOf Functional Programming Concept
gptkbp:category Type Class
gptkbp:definedIn Control.Applicative (Haskell)
gptkbp:documentedIn Haskell 98 Report
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
gptkbp:enables function application in context
gptkbp:example gptkb:list
IO
Maybe
Validation
Either
ZipList
gptkbp:generalizes gptkb:Functor
gptkbp:hasNotationFor <*>
https://www.w3.org/2000/01/rdf-schema#label Applicative Functors
gptkbp:introduced gptkb:Ross_Paterson
Conor McBride
gptkbp:introducedIn 2008
gptkbp:legalSystem gptkb:identity
musical composition
homomorphism
data exchange
gptkbp:lessGeneralThan gptkb:Functor
gptkbp:operator pure
<*> (ap)
gptkbp:relatedTo gptkb:Monads
Functors
Traversable
gptkbp:usedFor validation
parsing
concurrent computation
effectful computation
gptkbp:usedIn gptkb:F#
gptkb:Haskell
gptkb:PureScript
gptkb:Scala
gptkbp:bfsParent gptkb:Monads
gptkbp:bfsLayer 6