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
|
https://www.w3.org/2000/01/rdf-schema#label |
Maybe monad
|
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:Functor
|
gptkbp:bfsLayer |
5
|