gptkbp:instanceOf
|
gptkb:Functor
free monad
monad in Set
|
gptkbp:definedIn
|
gptkb:Scala_standard_library
Haskell standard library
F# standard library
|
gptkbp:enables
|
list comprehensions
non-deterministic computation
|
gptkbp:formedBy
|
gptkb:category_theory
|
gptkbp:hasApplicativeInstance
|
List Applicative
|
gptkbp:hasBindOperation
|
concatMap
|
gptkbp:hasBindSignature
|
[a] -> (a -> [b]) -> [b]
|
gptkbp:hasFunctorInstance
|
List Functor
|
gptkbp:hasReturnOperation
|
singleton list
|
gptkbp:hasReturnSignature
|
a -> [a]
|
gptkbp:hasTypeConstructor
|
[a]
|
https://www.w3.org/2000/01/rdf-schema#label
|
List Monad
|
gptkbp:isLawful
|
true
|
gptkbp:relatedTo
|
gptkb:Functor
gptkb:Set_Theory
gptkb:IO_Monad
gptkb:Kleisli_Category
gptkb:Maybe_Monad
gptkb:Reader_Monad
gptkb:State_Monad
gptkb:Writer_Monad
gptkb:Category_Theory
Alternative
Monoid
Algebraic Data Type
Applicative
Applicative Laws
Free Monad
Functor Laws
Monad Laws
MonadPlus
|
gptkbp:usedFor
|
search algorithms
backtracking
parsing
list comprehensions
combinatorial generation
monadic chaining
nondeterminism modeling
sequence operations
|
gptkbp:usedIn
|
gptkb:F#
gptkb:Haskell
gptkb:Scala
functional programming
|
gptkbp:bfsParent
|
gptkb:Monads
|
gptkbp:bfsLayer
|
6
|