Browse by Keyword: "applicative"
aljebra Toy implementations of the algebraic structures defined in the Fantasy Land specification, mostly borrowed from Haskell libraries.
data.validation A disjunction that's more appropriate for validating inputs with better vocabulary & straight-forward failure aggregation.
fantasy-validations Validation data structure.
nads A gateway drug to programming with algebraic datatypes.