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.Syntax.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 :: proxy h -> Dict (c (InferOf h))

Instances

c (InferOf h) => InferOfConstraint c h

Defined in Hyper.Class.Infer.InferOf

Methods

inferOfConstraint :: proxy h -> Dict (c (InferOf h))