Infer m h => Infer m (Rec1 h) Source # | |
Instance detailsDefined in Hyper.Class.Infer |
c (Const a :: AHyperType -> Type) => Recursively c (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.Recursive |
(InferOf a ~ InferOf b, Infer m a, Infer m b) => Infer m (a :+: b) Source # | |
Instance detailsDefined in Hyper.Class.Infer |
Infer m h => Infer m (M1 i c h) Source # | |
Instance detailsDefined in Hyper.Class.Infer |
Semigroup a => HApply (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.Apply |
HFoldable (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.Foldable |
HFoldable h => HFoldable (Rec1 h) Source # | |
Instance detailsDefined in Hyper.Class.Foldable |
HFunctor (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.Functor |
HFunctor h => HFunctor (Rec1 h) Source # | |
Instance detailsDefined in Hyper.Class.Functor |
HNodes (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
HNodes h => HNodes (Rec1 h) Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
Monoid a => HPointed (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.Pointed |
RNodes (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.Recursive |
RTraversable (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.Recursive |
HTraversable (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.Traversable |
HTraversable h => HTraversable (Rec1 h) Source # | |
Instance detailsDefined in Hyper.Class.Traversable |
Eq a => ZipMatch (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.ZipMatch |
ZipMatch h => ZipMatch (Rec1 h) Source # | |
Instance detailsDefined in Hyper.Class.ZipMatch |
(HApply a, HApply b) => HApply (a :*: b) Source # | |
Instance detailsDefined in Hyper.Class.Apply |
(HFoldable a, HFoldable b) => HFoldable (a :*: b) Source # | |
Instance detailsDefined in Hyper.Class.Foldable |
(HFoldable a, HFoldable b) => HFoldable (a :+: b) Source # | |
Instance detailsDefined in Hyper.Class.Foldable |
(HFunctor a, HFunctor b) => HFunctor (a :*: b) Source # | |
Instance detailsDefined in Hyper.Class.Functor |
(HFunctor a, HFunctor b) => HFunctor (a :+: b) Source # | |
Instance detailsDefined in Hyper.Class.Functor |
(HNodes a, HNodes b) => HNodes (a :*: b) Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
(HNodes a, HNodes b) => HNodes (a :+: b) Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
(HPointed a, HPointed b) => HPointed (a :*: b) Source # | |
Instance detailsDefined in Hyper.Class.Pointed |
(HTraversable a, HTraversable b) => HTraversable (a :*: b) Source # | |
Instance detailsDefined in Hyper.Class.Traversable |
(HTraversable a, HTraversable b) => HTraversable (a :+: b) Source # | |
Instance detailsDefined in Hyper.Class.Traversable |
(ZipMatch a, ZipMatch b) => ZipMatch (a :*: b) Source # | |
Instance detailsDefined in Hyper.Class.ZipMatch |
(ZipMatch a, ZipMatch b) => ZipMatch (a :+: b) Source # | |
Instance detailsDefined in Hyper.Class.ZipMatch |
HFoldable h => HFoldable (M1 i m h) Source # | |
Instance detailsDefined in Hyper.Class.Foldable |
HFunctor h => HFunctor (M1 i m h) Source # | |
Instance detailsDefined in Hyper.Class.Functor |
HNodes h => HNodes (M1 i m h) Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
HTraversable h => HTraversable (M1 i m h) Source # | |
Instance detailsDefined in Hyper.Class.Traversable |
ZipMatch h => ZipMatch (M1 i m h) Source # | |
Instance detailsDefined in Hyper.Class.ZipMatch |
type InferOf (Rec1 h) Source # | |
Instance detailsDefined in Hyper.Class.Infer |
type HWitnessType (Const a :: AHyperType -> Type) Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
type HWitnessType (Rec1 h) Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
type HNodesConstraint (Const a :: AHyperType -> Type) _1 Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
type HNodesConstraint (Rec1 h) c Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
type InferOf (a :+: _1) Source # | |
Instance detailsDefined in Hyper.Class.Infer |
type HWitnessType (a :*: b) Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
type HWitnessType (a :+: b) Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
type HNodesConstraint (a :*: b) x Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
type HNodesConstraint (a :+: b) x Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
type InferOf (M1 _1 _2 h) Source # | |
Instance detailsDefined in Hyper.Class.Infer |
type HWitnessType (M1 i m h) Source # | |
Instance detailsDefined in Hyper.Class.Nodes |
type HNodesConstraint (M1 i m h) c Source # | |
Instance detailsDefined in Hyper.Class.Nodes |