Statements (38)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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 |
<*>
|
| gptkbp:introduced |
gptkb:Ross_Paterson
Conor McBride |
| gptkbp:introducedIn |
2008
|
| gptkbp:legalSystem |
gptkb:data_exchange
gptkb:musical_composition gptkb:identity homomorphism |
| 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 |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
Applicative Functors
|