Example Search
Project Search
Most Popular
APIs
Projects
Java
Python
JavaScript
TypeScript
C++
Scala
Blog
Project: scala_typeclassopedia
(GitHub Link)
scala_typeclassopedia-master
Free.MD
src
main
scala
selective
Selective.scala
profunctor_optics
ProfunctorOpticsSimpleImpl.scala
EmilyProfOptics.scala
examples
ReversingYonedaForList.scala
YonedaLiftAndLowerAreInverses.scala
Tree.scala
CoyonedaExample.scala
KleisliExamples.scala
BifunctorSimpleImpl.scala
F_Algebras.scala
ArrowFizBuzz.scala
IntState.scala
ArrowBasicOps.scala
KeyValueStoreFreeMonad.scala
educational
category_theory
two
bifunctors
Bitraverse.scala
Joker.scala
Bifunctor.scala
Bifoldable.scala
Clown.scala
BiApply.scala
profunctor
mapping
Settable.scala
Walk.scala
closed
Closure.scala
Environment.scala
Closed.scala
sieve
Cosieve.scala
Sieve.scala
traverse
CofreeTraversing.scala
Step.scala
Traversing.scala
FreeTraversing.scala
Profunctor.scala
Forget.scala
optics
Polyp.scala
Telescoped.scala
Glassed.scala
Magnified.scala
Polynodal.scala
Windowed.scala
Traversing.scala
choice
Choice.scala
higher
Procompose.scala
ProfunctorComonad.scala
ProfunctorMonad.scala
ProfunctorFunctor.scala
DinaturalTransformation.scala
ProfunctorRan.scala
ProfunctorCoyoneda.scala
ProfunctorYoneda.scala
Star.scala
strong
FreeTambara.scala
Pastro.scala
Cotambara.scala
Tambara.scala
CofreeTambara.scala
Strong.scala
Costrong.scala
Costar.scala
Category.scala
Dijkstra.scala
adjunct_rep
RepresentableSimpleImpl.scala
Adjunction.scala
Foldable.scala
Traverse.scala
Comonad.scala
Monad.scala
Apply.scala
Functor.scala
Applicative.scala
kan
LimitsAndColimits.scala
Codensity.scala
DayConvolution.scala
DensitySimpleImpl.scala
LeftKanExtension.scala
RightKanExtension.scala
Coyoneda.scala
Yoneda.scala
contra
Divide.scala
Divisible.scala
Decide.scala
Decidable.scala
Contravariant.scala
ContravariantCoyoneda.scala
higher
NaturalTransformation.scala
CategoryK.scala
monoidal
MonoidalObject.scala
MonoidalCategory.scala
AlgebraOfADTs.scala
ContT.scala
Cont.scala
abstract_algebra
Semigroup.scala
Monoid.scala
data
Compose.scala
Id.scala
These.scala
State.scala
CoKleisli.scala
Show.scala
Op.scala
Comparison.scala
Const.scala
Kleisli.scala
FreeApp.scala
Cofree.scala
RIO.scala
Validated.scala
Reader.scala
TRIO.scala
CoReader.scala
FreeM.scala
Maybe.scala
Predicate.scala
Writer.scala
Thunk.scala
types
Id.scala
NaturalTransformation.scala
Op.scala
Const.scala
Void.scala
Thunk.scala
collections
FunCol.scala
Tree.scala
ZipList.scala
RoseTree.scala
HeadNel.scala
ConsList.scala
bifunctor
InstancesForForBuildInTypes.scala
hoare
HoareProbabilityMonad.scala
disintegrate
Disintegrate.scala
filterable
Filterable.scala
typetheory
LambdaCalc.scala
logic
Bool.scala
K3.scala
B3.scala
SkiCombinators.scala
PropositionalLogic.scala
Nat.scala
RhoCalculus.scala
contravariant
HoFStructure.scala
ct_other_impls
ModularProfunctorBifunctorHierarchy.scala
DataCategory.scala
cayley
CayleyTheorem.scala
functorfunctor
FFunctor.scala
FFunctorExample.scala
test
scala
comonad
ComonadCustomImplSpec.scala
functor
FunctorExamplesSpec.scala
TreeFunctorSpec.scala
helper_implementations
TreeSpec.scala
monad
CustomMonadImplementationSpec.scala
ReaderMonadSpec.scala
educational
category_theory
two
profunctor
StrongSpec.scala
ProfunctorSpec.scala
bifunctor
BifunctorExamplesSpec.scala
traverse
TraverseExamplesSpec.scala
semigroup
SemigroupExamplesSpec.scala
contravariant
ContravariantSpec.scala
DivideSpec.scala
kan
RanCustomImpl.scala
mtl
TraverseEmptyListPermutationsSpec.scala
applicative
ApplicativeExamplesSpec.scala
monoid
MonoidExamplesSpec.scala
AlternativeMonoidInstancesSpec.scala
ComputationalTrinitarianism.MD
img
arrows.svg
monoidal_pentagon.svg
triangle_either.svg
fun_trinc2.svg
single_op_abstract_algebra.svg
covariant_contravariant_functors.svg
pentagon_tuple.svg
braided_hexagon2.svg
mon_cat_triangle.svg
contravariant_laws.svg
functor_laws.svg
triangle_tuple.svg
traversable_foldable.svg
braided_hexagon1.svg
HigherKinded.MD
KanExtensions.MD
OtherEncodingsOfCT.MD
Comonads.MD
LICENSE
Limits.MD
README.MD
Contravariant.MD
project
build.properties
plugins.sbt
Profunctors.MD
Topos.MD
RecursionSchemas.MD
Optics.MD
notes
Periodic table of n-categories Notes.MD
Computational Quadrinitarianism.MD
Hitchhiker's Guide to the Quadrinitarianism.MD
Monoidal Categories Notes.MD
FunctionalDataStructures.MD
.travis.yml
build.sbt
.gitignore
AbstractAlgebra.MD
Bifunctors.MD
Adjunction.MD