AST.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 :: Knot -> Type

The type of t

Methods

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

class HasInferredValue t where

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

Methods

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

A Lens from an inference result to an inferred value

class KFunctor (InferOf k) => KFunctorInferOf k

Instances

KFunctor (InferOf k) => KFunctorInferOf k

Defined in AST.Class.Infer.InferOf

class KFoldable (InferOf k) => KFoldableInferOf k

Instances

KFoldable (InferOf k) => KFoldableInferOf k

Defined in AST.Class.Infer.InferOf

class (KTraversable (InferOf k), Recursively KFunctorInferOf k, Recursively KFoldableInferOf k) => RTraversableInferOf k

Instances

Recursive RTraversableInferOf

Defined in AST.Class.Infer.InferOf

Methods

recurse :: (KNodes k, RTraversableInferOf k) => Proxy (RTraversableInferOf k) -> Dict (KNodesConstraint k RTraversableInferOf)

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

Defined in AST.Term.Scheme

Methods

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