syntax-tree-0.1.0.0: Typed ASTs

Safe HaskellNone
LanguageHaskell2010

AST.Class.Infer.InferOf

Synopsis

Documentation

class HasInferredType t where Source #

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

Associated Types

type TypeOf t :: Knot -> Type Source #

The type of t

Methods

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

class HasInferredValue t where Source #

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

Methods

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

A Lens from an inference result to an inferred value

class KFunctor (InferOf k) => KFunctorInferOf k Source #

Instances
KFunctor (InferOf k) => KFunctorInferOf k Source # 
Instance details

Defined in AST.Class.Infer.InferOf

class KFoldable (InferOf k) => KFoldableInferOf k Source #

Instances
KFoldable (InferOf k) => KFoldableInferOf k Source # 
Instance details

Defined in AST.Class.Infer.InferOf