All Types

arrow.recursion.Algebra Fold over a kind.
arrow.recursion.typeclasses.Birecursive  
arrow.recursion.Coalgebra Unfold over a kind.
arrow.recursion.typeclasses.Corecursive  
arrow.recursion.data.Fix Type level combinator for obtaining the fixed point of a type. This type is the type level encoding of primitive recursion.
arrow.recursion.data.FixOf  
arrow.recursion.data.ForFix  
arrow.recursion.data.ForMu  
arrow.recursion.data.ForNu  
arrow.typeclasses.Functor (extensions in package arrow.recursion)  
arrow.Kind (extensions in package arrow.recursion.data)  
arrow.recursion.data.Mu Type level combinator for obtaining the least fixed point of a type. This type is the type level encoding of cata.
arrow.recursion.data.MuOf  
arrow.recursion.data.Nu Type level combinator for obtaining the greatest fixed point of a type. This type is the type level encoding of ana.
arrow.recursion.data.NuOf  
arrow.recursion.typeclasses.Recursive  

Type Class Hierarchy