profunctors

There are 3 repositories under profunctors topic.

palatable / lambda
Functional patterns for Java
algebraic-data-types bifunctors coproduct either functional-programming functor hlist io-monad java lambda lenses maybe-monad monad monoid optics profunctors semigroup traversable try-monad tuples
Language:Java 858
hablapps / DontFearTheProfunctorOptics
Don't Fear the Profunctor Optics!
immutability lenses modularity optics profunctor-optics profunctors
Language:Haskell 418
staltz / use-profunctor-state
React Hook for state management with profunctor lenses
lenses profunctors react react-hooks
Language:JavaScript 333
kowainik / tomland
🏝 Bidirectional TOML serialization
haskell toml-parser toml configuration profunctors bidirectional hacktoberfest
Language:Haskell 120
kowainik / prolens
👓 Profunctor based lightweight implementation of Lenses
hacktoberfest haskell lens lenses prisms profunctor-optics profunctors traversal
Language:Haskell 74
sjoerdvisscher / one-liner
Constraint-based generics
generics haskell profunctors
Language:Haskell 48
cofree-coffee / cofree-bot
A library for building bots compositionally.
bot-framework chatbot co-algebras haskell library optics profunctors
Language:Haskell 39
sigma-andex / purescript-barlow-lens
Increase your magnification 🔭 and zoom deep into a record.
lenses profunctors profunctor-optics
Language:PureScript 39
TotallyNotChase / valida
:heavy_check_mark: Simple, elegant, profunctorial, applicative validation for product types!
applicative-functors contravariant-functors haskell profunctors validation validator
Language:Haskell 19
vmchale / linear
Linear lenses in Blodwen
idris blodwen lens lenses profunctor-optics profunctor profunctors linear-types
Language:Idris 13
Sintrastes / MapAlgebra.jl
High-level declarative GIS processing library for Julia.
declarative-programming functional-programming gdal gis julia osm profunctors
Language:Julia 2
davidgarland / lean-profunctors
A port of profunctors from Haskell to Lean 4.
lean lean4 profunctor profunctors
Language:Lean 0
fwcd / curry-functors
Contravariant functors, bifunctors, profunctors and more for Curry
functor profunctors bifunctor bifunctors functors curry
Language:Curry
kiana-S / idris2-profunctors
Profunctors in Idris2
idris2 idris2-ecosystem profunctors
Language:Idris