Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
|
| gptkbp:categoryTheoryConcept |
gptkb:Functor
|
| gptkbp:enables |
safe chaining of computations
|
| gptkbp:handles |
nullability
|
| gptkbp:hasApplicativeInstance |
Maybe
|
| gptkbp:hasFunctorInstance |
Maybe
|
| gptkbp:hasJustConstructor |
Just
|
| gptkbp:hasMonadInstance |
Maybe
|
| gptkbp:hasNothingConstructor |
Nothing
|
| gptkbp:hasTypeConstructor |
Maybe
|
| gptkbp:originatedIn |
gptkb:Haskell
|
| gptkbp:prevention |
null pointer exceptions
|
| gptkbp:relatedTo |
gptkb:Either_monad
Option type |
| gptkbp:represents |
optional value
|
| gptkbp:usedFor |
error handling
representing missing values |
| gptkbp:usedIn |
gptkb:Haskell
functional programming |
| gptkbp:bfsParent |
gptkb:Monads_in_functional_programming
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Maybe monad
|