Safe Haskell	Safe-Inferred
Language	Haskell2010

Hyper.Infer.Result

Synopsis

newtype InferResult v e = InferResult (InferOf (GetHyperType e) # v)
_InferResult :: forall v e v e. Iso (InferResult v e) (InferResult v e) ((#) (InferOf (GetHyperType e)) v) ((#) (InferOf (GetHyperType e)) v)
inferResult :: InferOf e ~ ANode t => Iso (InferResult v0 # e) (InferResult v1 # e) (v0 # t) (v1 # t)

Documentation

newtype InferResult v e Source #

A HyperType for an inferred term - the output of infer

Constructors

InferResult (InferOf (GetHyperType e) # v)

Instances

Instances details

Generic (InferResult v e) Source #
Instance details Defined in Hyper.Infer.Result Associated Types type Rep (InferResult v e) :: Type -> Type # Methods from :: InferResult v e -> Rep (InferResult v e) x # to :: Rep (InferResult v e) x -> InferResult v e #
Constraints (InferResult v e) Show => Show (InferResult v e) Source #
Instance details Defined in Hyper.Infer.Result Methods showsPrec :: Int -> InferResult v e -> ShowS # show :: InferResult v e -> String # showList :: [InferResult v e] -> ShowS #
Constraints (InferResult v e) Binary => Binary (InferResult v e) Source #
Instance details Defined in Hyper.Infer.Result Methods put :: InferResult v e -> Put # get :: Get (InferResult v e) # putList :: [InferResult v e] -> Put #
Constraints (InferResult v e) NFData => NFData (InferResult v e) Source #
Instance details Defined in Hyper.Infer.Result Methods rnf :: InferResult v e -> () #
Constraints (InferResult v e) Eq => Eq (InferResult v e) Source #
Instance details Defined in Hyper.Infer.Result Methods (==) :: InferResult v e -> InferResult v e -> Bool # (/=) :: InferResult v e -> InferResult v e -> Bool #
Constraints (InferResult v e) Ord => Ord (InferResult v e) Source #
Instance details Defined in Hyper.Infer.Result Methods compare :: InferResult v e -> InferResult v e -> Ordering # (<) :: InferResult v e -> InferResult v e -> Bool # (<=) :: InferResult v e -> InferResult v e -> Bool # (>) :: InferResult v e -> InferResult v e -> Bool # (>=) :: InferResult v e -> InferResult v e -> Bool # max :: InferResult v e -> InferResult v e -> InferResult v e # min :: InferResult v e -> InferResult v e -> InferResult v e #
HFoldable (InferOf e) => HFoldable (HFlip InferResult e) Source #
Instance details 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 Source #
HFunctor (InferOf e) => HFunctor (HFlip InferResult e) Source #
Instance details 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 Source #
HNodes (InferOf e) => HNodes (HFlip InferResult e) Source #
Instance details Defined in Hyper.Infer.Result Associated Types type HNodesConstraint (HFlip InferResult e) c Source # type HWitnessType (HFlip InferResult e) :: HyperType -> Type Source # Methods hLiftConstraint :: forall c (n :: HyperType) r. HNodesConstraint (HFlip InferResult e) c => HWitness (HFlip InferResult e) n -> Proxy c -> (c n => r) -> r Source #
HTraversable (InferOf e) => HTraversable (HFlip InferResult e) Source #
Instance details 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) Source #
type Rep (InferResult v e) Source #
Instance details Defined in Hyper.Infer.Result type Rep (InferResult v e) = D1 ('MetaData "InferResult" "Hyper.Infer.Result" "hypertypes-0.2.2-9g9pX7Hb2mGI4yyssTDpOd" 'True) (C1 ('MetaCons "InferResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InferOf (GetHyperType e) # v))))
type HWitnessType (HFlip InferResult e) Source #
Instance details Defined in Hyper.Infer.Result type HWitnessType (HFlip InferResult e) = HWitnessType (InferOf e)
type HNodesConstraint (HFlip InferResult e) c Source #
Instance details Defined in Hyper.Infer.Result type HNodesConstraint (HFlip InferResult e) c = HNodesConstraint (InferOf e) c

_InferResult :: forall v e v e. Iso (InferResult v e) (InferResult v e) ((#) (InferOf (GetHyperType e)) v) ((#) (InferOf (GetHyperType e)) v) Source #

inferResult :: InferOf e ~ ANode t => Iso (InferResult v0 # e) (InferResult v1 # e) (v0 # t) (v1 # t) Source #