Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
|
| gptkbp:bindOperation |
>>=
|
| gptkbp:categoryTheoryOrigin |
sum type
|
| gptkbp:definedIn |
Control.Monad module (Haskell)
|
| gptkbp:hasApplicativeInstance |
true
|
| gptkbp:hasFunctorInstance |
true
|
| gptkbp:hasMonadInstance |
true
|
| gptkbp:hasTypeConstructor |
Either
|
| gptkbp:hasTypeParameter |
gptkb:right
Left |
| gptkbp:introducedIn |
Haskell 98 standard
|
| gptkbp:leftRepresents |
error
|
| gptkbp:relatedTo |
gptkb:Maybe_monad
|
| gptkbp:rightRepresents |
success
|
| gptkbp:usedFor |
error handling
|
| 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 |
Either monad
|