Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
|
| gptkbp:applicativeOperation |
<*>
|
| gptkbp:bindOperation |
>>=
|
| gptkbp:category |
Functional programming
|
| gptkbp:definedIn |
Haskell standard library
|
| gptkbp:handles |
nullability
|
| gptkbp:hasConstructor |
Nothing
Just |
| gptkbp:relatedTo |
Option type
|
| gptkbp:usedFor |
representing optional values
|
| gptkbp:usedIn |
gptkb:Haskell
|
| gptkbp:bfsParent |
gptkb:Monads
|
| gptkbp:bfsLayer |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
Maybe Monad
|