An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Intermediate structure between functors and monads.

Property Value
dbo:description
  • intermediate structure between functors and monads. (en)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:code
  • n (en)
  • Nothing (en)
  • Just (en)
  • m (en)
  • Maybe a (en)
  • g x (en)
  • m :: Maybe Int (en)
  • m=Just i (en)
  • n :: Maybe Int (en)
  • n=Just j (en)
  • pure u v w = u (en)
  • pure f pure x = pure (en)
  • pure g x (en)
  • pure id v = v (en)
  • u pure y = pure u (en)
dbp:lang
  • haskell (en)
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Applicative functor (en)
  • Functor aplicatiu (ca)
  • Funtor aplicativo (es)
  • 应用式函子 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International