Hyper.Type.AST.Var

Variables.

Documentation

newtype Var v (expr :: HyperType) (h :: AHyperType)

Parameterized by term AST and not by its type AST (which currently is its only part used), for future evaluation/complilation support.

Constructors

Var v

Instances

(UnifyGen m (TypeOf expr), HasScope m (ScopeOf expr), VarType v expr, Monad m) => Infer m (Var v expr)

Defined in Hyper.Type.AST.Var

Methods

inferBody :: forall (h :: AHyperType -> Type). (Var v expr # InferChild m h) -> m (Var v expr # h, InferOf (Var v expr) # UVarOf m)

inferContext :: proxy0 m -> proxy1 (Var v expr) -> Dict (HNodesConstraint (Var v expr) (Infer m), HNodesConstraint (InferOf (Var v expr)) (UnifyGen m))

HNodes (Var v expr)

Defined in Hyper.Type.AST.Var

Associated Types

type HNodesConstraint (Var v expr) c

type HWitnessType (Var v expr) :: HyperType -> Type

Methods

hLiftConstraint :: forall c (n :: HyperType) r. HNodesConstraint (Var v expr) c => HWitness (Var v expr) n -> Proxy c -> (c n => r) -> r

Monoid v => HPointed (Var v expr)

Defined in Hyper.Type.AST.Var

Methods

hpure :: (forall (n :: HyperType). HWitness (Var v expr) n -> p # n) -> Var v expr # p

HFunctor (Var v expr)

Defined in Hyper.Type.AST.Var

Methods

hmap :: (forall (n :: HyperType). HWitness (Var v expr) n -> (p # n) -> q # n) -> (Var v expr # p) -> Var v expr # q

HFoldable (Var v expr)

Defined in Hyper.Type.AST.Var

Methods

hfoldMap :: Monoid a => (forall (n :: HyperType). HWitness (Var v expr) n -> (p # n) -> a) -> (Var v expr # p) -> a

HTraversable (Var v expr)

Defined in Hyper.Type.AST.Var

Methods

hsequence :: forall f (p :: AHyperType -> Type). Applicative f => (Var v expr # ContainedH f p) -> f (Var v expr # p)

Semigroup v => HApply (Var v expr)

Defined in Hyper.Type.AST.Var

Methods

hzip :: forall (p :: HyperType) (q :: HyperType). (Var v expr # p) -> (Var v expr # q) -> Var v expr # (p :*: q)

Eq v => ZipMatch (Var v expr)

Defined in Hyper.Type.AST.Var

Methods

zipMatch :: forall (p :: HyperType) (q :: HyperType). (Var v expr # p) -> (Var v expr # q) -> Maybe (Var v expr # (p :*: q))

HContext (Var v expr)

Defined in Hyper.Type.AST.Var

Methods

hcontext :: forall (p :: HyperType). (Var v expr # p) -> Var v expr # (HFunc p (Const (Var v expr # p)) :*: p)

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))

HMorph (Var v expr0) (Var v expr1)

Defined in Hyper.Type.AST.Var

Associated Types

type MorphConstraint (Var v expr0) (Var v expr1) c

data MorphWitness (Var v expr0) (Var v expr1) :: HyperType -> HyperType -> Type

Methods

morphMap :: (forall (a :: HyperType) (b :: HyperType). MorphWitness (Var v expr0) (Var v expr1) a b -> (p # a) -> q # b) -> (Var v expr0 # p) -> Var v expr1 # q

morphLiftConstraint :: forall c (a :: HyperType) (b :: HyperType) r. MorphConstraint (Var v expr0) (Var v expr1) c => MorphWitness (Var v expr0) (Var v expr1) a b -> Proxy c -> (c a b => r) -> r

Eq v => Eq (Var v expr h)

Defined in Hyper.Type.AST.Var

Methods

(==) :: Var v expr h -> Var v expr h -> Bool

(/=) :: Var v expr h -> Var v expr h -> Bool

Ord v => Ord (Var v expr h)

Defined in Hyper.Type.AST.Var

Methods

compare :: Var v expr h -> Var v expr h -> Ordering

(<) :: Var v expr h -> Var v expr h -> Bool

(<=) :: Var v expr h -> Var v expr h -> Bool

(>) :: Var v expr h -> Var v expr h -> Bool

(>=) :: Var v expr h -> Var v expr h -> Bool

max :: Var v expr h -> Var v expr h -> Var v expr h

min :: Var v expr h -> Var v expr h -> Var v expr h

Show v => Show (Var v expr h)

Defined in Hyper.Type.AST.Var

Methods

showsPrec :: Int -> Var v expr h -> ShowS

show :: Var v expr h -> String

showList :: [Var v expr h] -> ShowS

Generic (Var v expr h)

Defined in Hyper.Type.AST.Var

Associated Types

type Rep (Var v expr h) :: Type -> Type

Methods

from :: Var v expr h -> Rep (Var v expr h) x

to :: Rep (Var v expr h) x -> Var v expr h

Binary v => Binary (Var v expr h)

Defined in Hyper.Type.AST.Var

Methods

put :: Var v expr h -> Put

get :: Get (Var v expr h)

putList :: [Var v expr h] -> Put

NFData v => NFData (Var v expr h)

Defined in Hyper.Type.AST.Var

Methods

rnf :: Var v expr h -> ()

Pretty v => Pretty (Var v expr h)

Defined in Hyper.Type.AST.Var

Methods

pPrintPrec :: PrettyLevel -> Rational -> Var v expr h -> Doc

pPrint :: Var v expr h -> Doc

pPrintList :: PrettyLevel -> [Var v expr h] -> Doc

type HWitnessType (Var v expr)

Defined in Hyper.Type.AST.Var

type HWitnessType (Var v expr) = V1 :: HyperType -> Type

type InferOf (Var _1 t)

Defined in Hyper.Type.AST.Var

type InferOf (Var _1 t) = ANode (TypeOf t)

type TypeOf (Var v t)

Defined in Hyper.Type.AST.Var

type TypeOf (Var v t) = TypeOf t

type HNodesConstraint (Var v expr) constraint

Defined in Hyper.Type.AST.Var

type HNodesConstraint (Var v expr) constraint = ()

data MorphWitness (Var v expr0) (Var v expr1) _ _

Defined in Hyper.Type.AST.Var

data MorphWitness (Var v expr0) (Var v expr1) _ _

type MorphConstraint (Var v expr0) (Var v expr1) constraint

Defined in Hyper.Type.AST.Var

type MorphConstraint (Var v expr0) (Var v expr1) constraint = ()

type Rep (Var v expr h)

Defined in Hyper.Type.AST.Var

type Rep (Var v expr h) = D1 ('MetaData "Var" "Hyper.Type.AST.Var" "hypertypes-0.1.0.1-4X1Tc9rEIqlHUnBsnc5Qh2" 'True) (C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)))

_Var :: forall v expr h v expr h. Iso (Var v expr h) (Var v expr h) v v

class VarType var expr where

Methods

varType :: UnifyGen m (TypeOf expr) => Proxy expr -> var -> (ScopeOf expr # UVarOf m) -> m (UVarOf m # TypeOf expr)

Instantiate a type for a variable in a given scope

type family ScopeOf (t :: HyperType) :: HyperType

class HasScope m s where

Methods

getScope :: m (s # UVarOf m)