Safe Haskell	None
Language	Haskell2010

Language.Symantic.Compiling.Module

Contents

Class ModuleFor
Type Modules
Class ModulesInj
- Class ModulesInjR
Type DefTerm

Synopsis

class ModuleFor src ss s where
- moduleFor :: (PathMod, Module src ss)
importModules :: PathMod -> Modules src ss -> Imports NameTe
newtype Modules src ss = Modules {
- modules :: Map PathMod (Module src ss)
}
unionModules :: Modules src ss -> Modules src ss -> Either Error_Module (Modules src ss)
unionModulesUnchecked :: Modules src ss -> Modules src ss -> Modules src ss
data Error_Module
- = 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)
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 src ss fixy = Map NameTe (Tokenizer src ss fixy)
data Tokenizer src ss fixy = Tokenizer {
- token_fixity :: fixy
- token_term :: src -> Token_Term src ss
}
type AST_Term src ss = BinTree (Token_Term src ss)
data Token_Term src ss
- = 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
newtype NameTe = NameTe Name
type ModulesInj src ss = ModulesInjR src ss ss
modulesInj :: forall src ss. ModulesInj src ss => Either Error_Module (Modules src ss)
class ModulesInjR src (ss :: [*]) (rs :: [*]) where
- modulesInjR :: Either Error_Module (Modules src ss)
data DefTerm src ss = (:=) (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)
deleteDefTerm :: Mod NameTe -> Modules src ss -> Modules src ss
deleteDefTermInfix :: Mod NameTe -> Modules src ss -> Modules src ss
deleteDefTermPrefix :: Mod NameTe -> Modules src ss -> Modules src ss
deleteDefTermPostix :: Mod NameTe -> Modules src ss -> Modules src ss
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

Class `ModuleFor`

class ModuleFor src ss s where Source #

Minimal complete definition

Nothing

Methods

moduleFor :: (PathMod, Module src ss) Source #

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

Type `Modules`

newtype Modules src ss Source #

Constructors

Modules
Fields modules :: Map PathMod (Module src ss)

Instances

Source src => Eq (Modules src ss) Source #
Instance details Defined in Language.Symantic.Compiling.Module Methods (==) :: Modules src ss -> Modules src ss -> Bool # (/=) :: Modules src ss -> Modules src ss -> Bool #
Source src => Show (Modules src ss) Source #
Instance details Defined in Language.Symantic.Compiling.Module 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) Source #

unionModulesUnchecked :: Modules src ss -> Modules src ss -> Modules src ss Source #

Type `Error_Module`

data Error_Module Source #

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 Source #
Instance details Defined in Language.Symantic.Compiling.Module Methods (==) :: Error_Module -> Error_Module -> Bool # (/=) :: Error_Module -> Error_Module -> Bool #
Show Error_Module Source #
Instance details Defined in Language.Symantic.Compiling.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) Source #

moduleEmpty :: Module src ss Source #

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

Type `ModuleFixy`

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

Type `Tokenizer`

data Tokenizer src ss fixy Source #

Constructors

Tokenizer
Fields token_fixity :: fixy token_term :: src -> Token_Term src ss

Instances

(Source src, Eq fixy) => Eq (Tokenizer src ss fixy) Source #
Instance details Defined in Language.Symantic.Compiling.Module 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) Source #
Instance details Defined in Language.Symantic.Compiling.Module 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) Source #

Abstract Syntax Tree of Token_Term.

Type `Token_Term`

data Token_Term src ss Source #

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) Source #
Instance details Defined in Language.Symantic.Compiling.Module 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) Source #
Instance details Defined in Language.Symantic.Compiling.Module 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) Source #
Instance details Defined in Language.Symantic.Compiling.Read Methods sourceInj :: AST_Term (SrcTe inp ss) ss -> SrcTe inp ss #

Type `NameTe`

newtype NameTe Source #

Constructors

NameTe Name

Instances

Eq NameTe Source #
Instance details Defined in Language.Symantic.Compiling.Module Methods (==) :: NameTe -> NameTe -> Bool # (/=) :: NameTe -> NameTe -> Bool #
Ord NameTe Source #
Instance details Defined in Language.Symantic.Compiling.Module 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 Source #
Instance details Defined in Language.Symantic.Compiling.Module Methods showsPrec :: Int -> NameTe -> ShowS # show :: NameTe -> String # showList :: [NameTe] -> ShowS #
IsString NameTe Source #
Instance details Defined in Language.Symantic.Compiling.Module Methods fromString :: String -> NameTe #
NameOf NameTe Source #
Instance details Defined in Language.Symantic.Compiling.Module Methods nameOf :: NameTe -> Name Source #

Class `ModulesInj`

type ModulesInj src ss = ModulesInjR src ss ss Source #

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

Class `ModulesInjR`

class ModulesInjR src (ss :: [*]) (rs :: [*]) where Source #

Methods

modulesInjR :: Either Error_Module (Modules src ss) Source #

Instances

ModulesInjR src ss ([] :: [Type]) Source #
Instance details Defined in Language.Symantic.Compiling.Module Methods modulesInjR :: Either Error_Module (Modules src ss) Source #
(ModuleFor src ss s, ModulesInjR src ss rs) => ModulesInjR src ss (Proxy s ': rs) Source #
Instance details Defined in Language.Symantic.Compiling.Module Methods modulesInjR :: Either Error_Module (Modules src ss) Source #

Type `DefTerm`

data DefTerm src ss Source #

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

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 Source #

Delete given Mod NameTe into given Modules.

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

Delete given Mod NameTe into byInfixs of given Modules.

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

Delete given Mod NameTe into byPrefixs of given Modules.

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

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 Source #

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

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