Hyper.Class.Infer.InferOf

Documentation

class HasInferredType t where

HasInferredType t represents that InferOf t contains a TypeOf t, which represents its inferred type.

Associated Types

type TypeOf t :: HyperType

The type of t

Methods

inferredType :: Proxy t -> ALens' (InferOf t # v) (v # TypeOf t)

Instances

HasInferredType (Var v t)

Defined in Hyper.Type.AST.Var

Associated Types

type TypeOf (Var v t) :: HyperType

Methods

inferredType :: Proxy (Var v t) -> ALens' (InferOf (Var v t) # v0) (v0 # TypeOf (Var v t))

class HasInferredValue t where

HasInferredValue t represents that InferOf t contains an inferred value for t.

Methods

inferredValue :: Lens' (InferOf t # v) (v # t)

A Lens from an inference result to an inferred value

class InferOfConstraint c h where

Methods

inferOfConstraint :: proxy0 c -> proxy1 h -> Dict (c (InferOf h))

Instances

c (InferOf h) => InferOfConstraint c h

Defined in Hyper.Class.Infer.InferOf

Methods

inferOfConstraint :: proxy0 c -> proxy1 h -> Dict (c (InferOf h))

class (HTraversable (InferOf h), Recursively (InferOfConstraint HFunctor) h, Recursively (InferOfConstraint HFoldable) h) => RTraversableInferOf h

Instances

Recursive RTraversableInferOf

Defined in Hyper.Class.Infer.InferOf

Methods

recurse :: forall (h :: HyperType) proxy. (HNodes h, RTraversableInferOf h) => proxy (RTraversableInferOf h) -> Dict (HNodesConstraint h RTraversableInferOf)

(RTraversable t, RTraversableInferOf t) => RTraversableInferOf (Scheme v t)

Defined in Hyper.Type.AST.Scheme

Methods

rTraversableInferOfRec :: Proxy (Scheme v t) -> Dict (HNodesConstraint (Scheme v t) RTraversableInferOf)