Copyright | Copyright 2024 Shea Levy. |
---|---|
License | Apache-2.0 |
Maintainer | shea@shealevy.com |
Safe Haskell | Safe-Inferred |
Language | Haskell98 |
Synopsis
- class (Functor f, forall x y. Coercible x y => Coercible (f x) (f y)) => ParametricFunctor f
Documentation
class (Functor f, forall x y. Coercible x y => Coercible (f x) (f y)) => ParametricFunctor f Source #
Instances
(Functor f, forall x y. Coercible x y => Coercible (f x) (f y)) => ParametricFunctor f Source # | Any lawful |
Defined in Data.Functor.Parametric |