Language.Symantic.Compiling.Module

Class ModuleFor

class ModuleFor src ss s where

Methods

moduleFor :: (PathMod, Module src ss)

importModules :: PathMod -> Modules src ss -> Imports NameTe

Type Modules

newtype Modules src ss

Constructors

Modules

Fields

• modules :: Map PathMod (Module src ss)

Instances

Source src => Eq (Modules src ss)

Methods

(==) :: Modules src ss -> Modules src ss -> Bool

(/=) :: Modules src ss -> Modules src ss -> Bool

Source src => Show (Modules src ss)

Methods

showsPrec :: Int -> Modules src ss -> ShowS

show :: Modules src ss -> String

showList :: [Modules src ss] -> ShowS

unionModules :: Modules src ss -> Modules src ss -> Either Error_Module (Modules src ss)

unionModulesUnchecked :: Modules src ss -> Modules src ss -> Modules src ss

Type Error_Module

data Error_Module

Constructors

Error_Module_colliding_Term (Map PathMod (Set NameTe))

Error_Module_ambiguous (Mod NameTe) (Map PathMod NameTe)

Error_Module_missing PathMod

Error_Module_missing_Term (Mod NameTe)

Instances

Eq Error_Module

Methods

(==) :: Error_Module -> Error_Module -> Bool

(/=) :: Error_Module -> Error_Module -> Bool

Show Error_Module

Methods

showsPrec :: Int -> Error_Module -> ShowS

show :: Error_Module -> String

showList :: [Error_Module] -> ShowS

Type Module

type Module src ss = ByFixity (ModuleFixy src ss Unifix) (ModuleFixy src ss Infix) (ModuleFixy src ss Unifix)

moduleEmpty :: Module src ss

moduleWhere :: forall src ss. Source src => PathMod -> [DefTerm src ss] -> (PathMod, Module src ss)

Type ModuleFixy

type ModuleFixy src ss fixy = Map NameTe (Tokenizer src ss fixy)

Type Tokenizer

data Tokenizer src ss fixy

Constructors

Tokenizer

Fields

• token_fixity :: fixy
• token_term :: src -> Token_Term src ss

Instances

(Source src, Eq fixy) => Eq (Tokenizer src ss fixy)

Methods

(==) :: Tokenizer src ss fixy -> Tokenizer src ss fixy -> Bool

(/=) :: Tokenizer src ss fixy -> Tokenizer src ss fixy -> Bool

Source src => Show (Tokenizer src ss fixy)

Methods

showsPrec :: Int -> Tokenizer src ss fixy -> ShowS

show :: Tokenizer src ss fixy -> String

showList :: [Tokenizer src ss fixy] -> ShowS

Type AST_Term

type AST_Term src ss = BinTree (Token_Term src ss)

Abstract Syntax Tree of Token_Term.

Type Token_Term

data Token_Term src ss

Constructors

Token_Term (TermAVT src ss)

Token_TermVT (TermVT src ss '[])

Token_Term_Abst src NameTe (AST_Type src) (AST_Term src ss)

Token_Term_Var src NameTe

Token_Term_Let src NameTe (AST_Term src ss) (AST_Term src ss)

Token_Term_App src

Instances

Source src => Eq (Token_Term src ss)

Methods

(==) :: Token_Term src ss -> Token_Term src ss -> Bool

(/=) :: Token_Term src ss -> Token_Term src ss -> Bool

Source src => Show (Token_Term src ss)

Methods

showsPrec :: Int -> Token_Term src ss -> ShowS

show :: Token_Term src ss -> String

showList :: [Token_Term src ss] -> ShowS

SourceInj (AST_Term (SrcTe inp ss) ss) (SrcTe inp ss)

Methods

sourceInj :: AST_Term (SrcTe inp ss) ss -> SrcTe inp ss

Type NameTe

newtype NameTe

Constructors

NameTe Name

Instances

Eq NameTe

Methods

(==) :: NameTe -> NameTe -> Bool

(/=) :: NameTe -> NameTe -> Bool

Ord NameTe

Methods

compare :: NameTe -> NameTe -> Ordering

(<) :: NameTe -> NameTe -> Bool

(<=) :: NameTe -> NameTe -> Bool

(>) :: NameTe -> NameTe -> Bool

(>=) :: NameTe -> NameTe -> Bool

max :: NameTe -> NameTe -> NameTe

min :: NameTe -> NameTe -> NameTe

Show NameTe

Methods

showsPrec :: Int -> NameTe -> ShowS

show :: NameTe -> String

showList :: [NameTe] -> ShowS

IsString NameTe

Methods

fromString :: String -> NameTe

NameOf NameTe

Methods

nameOf :: NameTe -> Name

Class ModulesInj

type ModulesInj src ss = ModulesInjR src ss ss

modulesInj :: forall src ss. ModulesInj src ss => Either Error_Module (Modules src ss)

Class ModulesInjR

class ModulesInjR src ss rs where

Minimal complete definition

modulesInjR

Methods

modulesInjR :: Either Error_Module (Modules src ss)

Instances

ModulesInjR src ss ([] *)

Methods

modulesInjR :: Either Error_Module (Modules src ss)

(ModuleFor k src ss s, ModulesInjR src ss rs) => ModulesInjR src ss ((:) * (Proxy k s) rs)

Methods

modulesInjR :: Either Error_Module (Modules src ss)

Type DefTerm

data DefTerm src ss

Constructors

(:=) (WithFixity NameTe) (forall ts. Term src ss ts vs t)

lookupDefTerm :: forall src ss fixy. Fixy (ModuleFixy src ss Unifix) (ModuleFixy src ss Infix) (ModuleFixy src ss Unifix) (ModuleFixy src ss fixy) -> Imports NameTe -> Mod NameTe -> Modules src ss -> Either Error_Module (Tokenizer src ss fixy)

Lookup given Mod NameTe into the Infix TermDef of given Modules.

NOTE: Token_Term_App is returned for the space NameTe.

deleteDefTerm :: Mod NameTe -> Modules src ss -> Modules src ss

Delete given Mod NameTe into given Modules.

deleteDefTermInfix :: Mod NameTe -> Modules src ss -> Modules src ss

Delete given Mod NameTe into byInfixs of given Modules.

deleteDefTermPrefix :: Mod NameTe -> Modules src ss -> Modules src ss

Delete given Mod NameTe into byPrefixs of given Modules.

deleteDefTermPostix :: Mod NameTe -> Modules src ss -> Modules src ss

Delete given Mod NameTe into byPostfixs of given Modules.

insertDefTerm :: forall src ss. Source src => Mod (DefTerm src ss) -> Modules src ss -> Modules src ss

insertTermVT :: forall src ss. Source src => Mod (TermVT src ss '[]) -> NameTe -> Fixity -> Modules src ss -> Modules src ss

insertFixity :: (forall fx. fx -> ModuleFixy src ss fx -> ModuleFixy src ss fx) -> Fixity -> Module src ss -> Module src ss