applicative functor

GPTKB entity

Statements (26)
Predicate Object
gptkbp:instanceOf functional programming concept
gptkbp:category type class
gptkbp:definedIn pure function
ap function
gptkbp:enables function application in context
gptkbp:formedBy Control.Applicative module
Haskell standard library
gptkbp:generalizes gptkb:Functor
gptkbp:hasAxiom identity law
composition law
homomorphism law
interchange law
https://www.w3.org/2000/01/rdf-schema#label applicative functor
gptkbp:introduced gptkb:Ross_Paterson
Conor McBride
gptkbp:introducedIn 2008
gptkbp:lessGeneralThan gptkb:Functor
gptkbp:relatedTo gptkb:monoidal_functor
gptkbp:usedFor validation
parsing
effectful computation
gptkbp:usedIn gptkb:F#
gptkb:Haskell
gptkb:Scala
gptkbp:bfsParent gptkb:Monads_in_functional_programming
gptkbp:bfsLayer 8