Hyper.Combinator.Flip

A combinator to flip the order of the last two type parameters of a HyperType.

Documentation

newtype HFlip f x h

Flip the order of the last two type parameters of a HyperType.

Useful to use instances of classes such as HTraversable which are available on the flipped HyperType. For example GTerm has instances when flipped.

Constructors

MkHFlip (f (GetHyperType h) # x)

Instances

(Recursively HContext h, Recursively HFunctor h) => HContext (HFlip Ann h)

Defined in Hyper.Class.Context

Methods

hcontext :: forall (p :: HyperType). (HFlip Ann h # p) -> HFlip Ann h # (HFunc p (Const (HFlip Ann h # p)) :*: p)

Recursively HFoldable h => HFoldable (HFlip Ann h)

Defined in Hyper.Combinator.Ann

Methods

hfoldMap :: Monoid a => (forall (n :: HyperType). HWitness (HFlip Ann h) n -> (p # n) -> a) -> (HFlip Ann h # p) -> a

HFoldable (InferOf e) => HFoldable (HFlip InferResult e)

Defined in Hyper.Infer.Result

Methods

hfoldMap :: Monoid a => (forall (n :: HyperType). HWitness (HFlip InferResult e) n -> (p # n) -> a) -> (HFlip InferResult e # p) -> a

Recursively HFoldable ast => HFoldable (HFlip GTerm ast)

Defined in Hyper.Unify.Generalize

Methods

hfoldMap :: Monoid a => (forall (n :: HyperType). HWitness (HFlip GTerm ast) n -> (p # n) -> a) -> (HFlip GTerm ast # p) -> a

Recursively HFunctor h => HFunctor (HFlip Ann h)

Defined in Hyper.Combinator.Ann

Methods

hmap :: (forall (n :: HyperType). HWitness (HFlip Ann h) n -> (p # n) -> q # n) -> (HFlip Ann h # p) -> HFlip Ann h # q

HFunctor (InferOf e) => HFunctor (HFlip InferResult e)

Defined in Hyper.Infer.Result

Methods

hmap :: (forall (n :: HyperType). HWitness (HFlip InferResult e) n -> (p # n) -> q # n) -> (HFlip InferResult e # p) -> HFlip InferResult e # q

Recursively HFunctor ast => HFunctor (HFlip GTerm ast)

Defined in Hyper.Unify.Generalize

Methods

hmap :: (forall (n :: HyperType). HWitness (HFlip GTerm ast) n -> (p # n) -> q # n) -> (HFlip GTerm ast # p) -> HFlip GTerm ast # q

RNodes h => HNodes (HFlip Ann h)

Defined in Hyper.Combinator.Ann

Associated Types

type HNodesConstraint (HFlip Ann h) c

type HWitnessType (HFlip Ann h) :: HyperType -> Type

Methods

hLiftConstraint :: forall c (n :: HyperType) r. HNodesConstraint (HFlip Ann h) c => HWitness (HFlip Ann h) n -> Proxy c -> (c n => r) -> r

HNodes (InferOf e) => HNodes (HFlip InferResult e)

Defined in Hyper.Infer.Result

Associated Types

type HNodesConstraint (HFlip InferResult e) c

type HWitnessType (HFlip InferResult e) :: HyperType -> Type

Methods

hLiftConstraint :: forall c (n :: HyperType) r. HNodesConstraint (HFlip InferResult e) c => HWitness (HFlip InferResult e) n -> Proxy c -> (c n => r) -> r

RNodes a => HNodes (HFlip GTerm a)

Defined in Hyper.Unify.Generalize

Associated Types

type HNodesConstraint (HFlip GTerm a) c

type HWitnessType (HFlip GTerm a) :: HyperType -> Type

Methods

hLiftConstraint :: forall c (n :: HyperType) r. HNodesConstraint (HFlip GTerm a) c => HWitness (HFlip GTerm a) n -> Proxy c -> (c n => r) -> r

RTraversable h => HTraversable (HFlip Ann h)

Defined in Hyper.Combinator.Ann

Methods

hsequence :: forall f (p :: AHyperType -> Type). Applicative f => (HFlip Ann h # ContainedH f p) -> f (HFlip Ann h # p)

HTraversable (InferOf e) => HTraversable (HFlip InferResult e)

Defined in Hyper.Infer.Result

Methods

hsequence :: forall f (p :: AHyperType -> Type). Applicative f => (HFlip InferResult e # ContainedH f p) -> f (HFlip InferResult e # p)

RTraversable ast => HTraversable (HFlip GTerm ast)

Defined in Hyper.Unify.Generalize

Methods

hsequence :: forall f (p :: AHyperType -> Type). Applicative f => (HFlip GTerm ast # ContainedH f p) -> f (HFlip GTerm ast # p)

Generic (HFlip f x h)

Defined in Hyper.Combinator.Flip

Associated Types

type Rep (HFlip f x h) :: Type -> Type

Methods

from :: HFlip f x h -> Rep (HFlip f x h) x0

to :: Rep (HFlip f x h) x0 -> HFlip f x h

Constraints (HFlip f x h) Show => Show (HFlip f x h)

Defined in Hyper.Combinator.Flip

Methods

showsPrec :: Int -> HFlip f x h -> ShowS

show :: HFlip f x h -> String

showList :: [HFlip f x h] -> ShowS

Constraints (HFlip f x h) Binary => Binary (HFlip f x h)

Defined in Hyper.Combinator.Flip

Methods

put :: HFlip f x h -> Put

get :: Get (HFlip f x h)

putList :: [HFlip f x h] -> Put

Constraints (HFlip f x h) NFData => NFData (HFlip f x h)

Defined in Hyper.Combinator.Flip

Methods

rnf :: HFlip f x h -> ()

Constraints (HFlip f x h) Eq => Eq (HFlip f x h)

Defined in Hyper.Combinator.Flip

Methods

(==) :: HFlip f x h -> HFlip f x h -> Bool

(/=) :: HFlip f x h -> HFlip f x h -> Bool

Constraints (HFlip f x h) Ord => Ord (HFlip f x h)

Defined in Hyper.Combinator.Flip

Methods

compare :: HFlip f x h -> HFlip f x h -> Ordering

(<) :: HFlip f x h -> HFlip f x h -> Bool

(<=) :: HFlip f x h -> HFlip f x h -> Bool

(>) :: HFlip f x h -> HFlip f x h -> Bool

(>=) :: HFlip f x h -> HFlip f x h -> Bool

max :: HFlip f x h -> HFlip f x h -> HFlip f x h

min :: HFlip f x h -> HFlip f x h -> HFlip f x h

type HWitnessType (HFlip Ann h)

Defined in Hyper.Combinator.Ann

type HWitnessType (HFlip Ann h) = HRecWitness h

type HWitnessType (HFlip InferResult e)

Defined in Hyper.Infer.Result

type HWitnessType (HFlip InferResult e) = HWitnessType (InferOf e)

type HWitnessType (HFlip GTerm a)

Defined in Hyper.Unify.Generalize

type HWitnessType (HFlip GTerm a) = HRecWitness a

type HNodesConstraint (HFlip Ann h) c

Defined in Hyper.Combinator.Ann

type HNodesConstraint (HFlip Ann h) c = (Recursive c, c h)

type HNodesConstraint (HFlip InferResult e) c

Defined in Hyper.Infer.Result

type HNodesConstraint (HFlip InferResult e) c = HNodesConstraint (InferOf e) c

type HNodesConstraint (HFlip GTerm a) c

Defined in Hyper.Unify.Generalize

type HNodesConstraint (HFlip GTerm a) c = (c a, Recursive c)

type Rep (HFlip f x h)

Defined in Hyper.Combinator.Flip

type Rep (HFlip f x h) = D1 ('MetaData "HFlip" "Hyper.Combinator.Flip" "hypertypes-0.2.2-9g9pX7Hb2mGI4yyssTDpOd" 'True) (C1 ('MetaCons "MkHFlip" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (GetHyperType h) # x))))

_HFlip :: Iso (HFlip f0 x0 # k0) (HFlip f1 x1 # k1) (f0 k0 # x0) (f1 k1 # x1)

An Iso from Flip to its content.

Using _Flip rather than the MkFlip data constructor is recommended, because it helps the type inference know that ANode c is parameterized with a HyperType.

hflipped :: Iso (f0 k0 # x0) (f1 k1 # x1) (HFlip f0 x0 # k0) (HFlip f1 x1 # k1)

htraverseFlipped :: (Applicative f, HTraversable (HFlip h a)) => (forall n. HWitness (HFlip h a) n -> (p # n) -> f (q # n)) -> (h p # a) -> f (h q # a)

Convinience function for traversal over second last HyperType argument.