AST.Class.Infer.Infer1

Infer for indexed AST types (such as Scope)

Documentation

class HasTypeOf1 t where

Associated Types

type TypeOf1 t :: Knot -> Type

Methods

typeAst :: Proxy (t k) -> Dict (TypeOf (t k) ~ TypeOf1 t)

class HasInferOf1 t where

Associated Types

type InferOf1 t :: Knot -> Type

type InferOf1IndexConstraint t :: Type -> Constraint

Methods

hasInferOf1 :: Proxy (t k) -> Dict (InferOf (t k) ~ InferOf1 t)

Instances

HasTypeOf1 t => HasInferOf1 (Scope t)

Defined in AST.Term.NamelessScope

Associated Types

type InferOf1 (Scope t) :: Knot -> Type

type InferOf1IndexConstraint (Scope t) :: Type -> Constraint

Methods

hasInferOf1 :: Proxy (Scope t k) -> Dict (InferOf (Scope t k) ~ InferOf1 (Scope t))

class HasInferOf1 t => Infer1 m t where

Methods

inferMonad :: InferOf1IndexConstraint t i :- Infer m (t i)