List Monad

GPTKB entity

Statements (50)
Predicate Object
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