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 |
right
Left |
https://www.w3.org/2000/01/rdf-schema#label |
Either monad
|
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:Maybe_monad
|
gptkbp:bfsLayer |
6
|