License	MIT
Safe Haskell	None
Language	GHC2021

Language.Egison.VarEntry

Description

This module defines the VarEntry data structure used by both evaluation environment (Data.hs) and type inference environment (Type/Env.hs).

Synopsis

data VarEntry a = VarEntry {
- veIndices :: [Index (Maybe Var)]
- veValue :: a
}

Documentation

data VarEntry a Source #

Variable entry in the environment Contains indices and value for a single variable binding Parametrized to support both ObjectRef (for evaluation) and TypeScheme (for type inference)

Constructors

VarEntry
Fields veIndices :: [Index (Maybe Var)] veValue :: a

Instances

Instances details

Show a => Show (VarEntry a) Source #
Instance details Defined in Language.Egison.VarEntry Methods showsPrec :: Int -> VarEntry a -> ShowS # show :: VarEntry a -> String # showList :: [VarEntry a] -> ShowS #
Eq a => Eq (VarEntry a) Source #
Instance details Defined in Language.Egison.VarEntry Methods (==) :: VarEntry a -> VarEntry a -> Bool # (/=) :: VarEntry a -> VarEntry a -> Bool #