Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class HFunctor c where Source #
A type c
is a higher-order functor (
) if it provides a
function HFunctor
which, given any two types hmap
f
and g
of kind k -> Type
lets you apply any function from (forall a. f a -> g a)
to turn an c f
into an c g
, preserving the structure of c
.
Instances
HFunctor (ArithmeticCircuit a i :: (Type -> Type) -> Type) Source # | |
Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Internal hmap :: (forall (a0 :: k). f a0 -> g a0) -> ArithmeticCircuit a i f -> ArithmeticCircuit a i g Source # | |
HFunctor (Interpreter a :: (k -> Type) -> Type) Source # | |
Defined in ZkFold.Symbolic.Interpreter hmap :: (forall (a0 :: k0). f a0 -> g a0) -> Interpreter a f -> Interpreter a g Source # |