Language.Symantic.Compiling.Module

Type Mod

data Mod a

Constructors

Mod PathMod a

Instances

Functor Mod

Methods

fmap :: (a -> b) -> Mod a -> Mod b

(<$) :: a -> Mod b -> Mod a

Eq a => Eq (Mod a)

Methods

(==) :: Mod a -> Mod a -> Bool

(/=) :: Mod a -> Mod a -> Bool

Ord a => Ord (Mod a)

Methods

compare :: Mod a -> Mod a -> Ordering

(<) :: Mod a -> Mod a -> Bool

(<=) :: Mod a -> Mod a -> Bool

(>) :: Mod a -> Mod a -> Bool

(>=) :: Mod a -> Mod a -> Bool

max :: Mod a -> Mod a -> Mod a

min :: Mod a -> Mod a -> Mod a

Show a => Show (Mod a)

Methods

showsPrec :: Int -> Mod a -> ShowS

show :: Mod a -> String

showList :: [Mod a] -> ShowS

Type PathMod

type PathMod = [NameMod]

Type NameMod

newtype NameMod

Constructors

NameMod Text

Instances

Eq NameMod

Methods

(==) :: NameMod -> NameMod -> Bool

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

Ord NameMod

Methods

compare :: NameMod -> NameMod -> Ordering

(<) :: NameMod -> NameMod -> Bool

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

(>) :: NameMod -> NameMod -> Bool

(>=) :: NameMod -> NameMod -> Bool

max :: NameMod -> NameMod -> NameMod

min :: NameMod -> NameMod -> NameMod

Show NameMod

Methods

showsPrec :: Int -> NameMod -> ShowS

show :: NameMod -> String

showList :: [NameMod] -> ShowS

IsString NameMod

Methods

fromString :: String -> NameMod

Class ModuleFor

class ModuleFor src ss s where

Methods

moduleFor :: (PathMod, Module src ss)

Type Imports

newtype Imports

Constructors

Imports (Map PathMod (Map PathMod FilterImports))

Instances

Eq Imports

Methods

(==) :: Imports -> Imports -> Bool

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

Show Imports

Methods

showsPrec :: Int -> Imports -> ShowS

show :: Imports -> String

showList :: [Imports] -> ShowS

type FilterImports = Maybe (Set NameTe)

importQualifiedAs :: PathMod -> Modules src ss -> Imports

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

data Module src ss

Constructors

Module

Fields

• module_prefix :: ModuleFixy src ss Unifix
• module_infix :: ModuleFixy src ss Infix
• module_postfix :: ModuleFixy src ss Unifix

Instances

Source src => Eq (Module src ss)

Methods

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

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

Source src => Show (Module src ss)

Methods

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

show :: Module src ss -> String

showList :: [Module src ss] -> ShowS

Semigroup (Module src ss)

Methods

(<>) :: Module src ss -> Module src ss -> Module src ss

sconcat :: NonEmpty (Module src ss) -> Module src ss

stimes :: Integral b => b -> Module src ss -> Module src ss

module_fixity :: FixitySing fixy -> Module src ss -> ModuleFixy src ss fixy

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 fixy src ss)

Type Tokenizer

data Tokenizer fixy src ss

Constructors

Tokenizer

Fields

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

Instances

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

Methods

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

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

Source src => Show (Tokenizer fixy src ss)

Methods

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

show :: Tokenizer fixy src ss -> String

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

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

Inj_Source (AST_Term (SrcTe inp ss) ss) (SrcTe inp ss)

Methods

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

Type NameTe

newtype NameTe

Constructors

NameTe Text

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

IsString (WithFixity NameTe)

Methods

fromString :: String -> WithFixity NameTe

Type CtxTy

data CtxTy src ts where

Typing context accumulating at each lambda abstraction the Type of the introduced variable. It is built top-down from the closest including lambda abstraction to the farest.

Constructors

CtxTyZ :: CtxTy src '[]

CtxTyS :: NameTe -> Type src '[] t -> CtxTy src ts -> CtxTy src (t ': ts) infixr 5

appendCtxTy :: CtxTy src ts0 -> CtxTy src ts1 -> CtxTy src (ts0 ++ ts1)

Type AST_Term

type AST_Term src ss = BinTree (Token_Term src ss)

Abstract Syntax Tree of Token_Term.

Class Inj_Modules

type Inj_Modules src ss = Inj_ModulesR src ss ss

inj_Modules :: forall src ss. Inj_Modules src ss => Either Error_Module (Modules src ss)

Class Inj_ModulesR

class Inj_ModulesR src ss rs where

Minimal complete definition

inj_ModulesR

Methods

inj_ModulesR :: Either Error_Module (Modules src ss)

Instances

Inj_ModulesR src ss ([] *)

Methods

inj_ModulesR :: Either Error_Module (Modules src ss)

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

Methods

inj_ModulesR :: 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. FixitySing fixy -> Imports -> Mod NameTe -> Modules src ss -> Either Error_Module (Tokenizer fixy src ss)

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 module_infixs of given Modules.

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

Delete given Mod NameTe into module_prefixs of given Modules.

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

Delete given Mod NameTe into module_postfixs 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

Type WithFixity

data WithFixity a

Constructors

WithFixity a Fixity

Instances

Eq a => Eq (WithFixity a)

Methods

(==) :: WithFixity a -> WithFixity a -> Bool

(/=) :: WithFixity a -> WithFixity a -> Bool

Show a => Show (WithFixity a)

Methods

showsPrec :: Int -> WithFixity a -> ShowS

show :: WithFixity a -> String

showList :: [WithFixity a] -> ShowS

IsString (WithFixity NameTe)

Methods

fromString :: String -> WithFixity NameTe

withInfix :: a -> Infix -> WithFixity a

withInfixR :: a -> Precedence -> WithFixity a

withInfixL :: a -> Precedence -> WithFixity a

withInfixN :: a -> Precedence -> WithFixity a

withInfixB :: a -> (Side, Precedence) -> WithFixity a

withPrefix :: a -> Precedence -> WithFixity a

withPostfix :: a -> Precedence -> WithFixity a

Type FixitySing

data FixitySing fixy where

Constructors

FixitySing_Prefix :: FixitySing Unifix

FixitySing_Infix :: FixitySing Infix

FixitySing_Postfix :: FixitySing Unifix

Instances

Eq (FixitySing fixy)

Methods

(==) :: FixitySing fixy -> FixitySing fixy -> Bool

(/=) :: FixitySing fixy -> FixitySing fixy -> Bool

Show (FixitySing fixy)

Methods

showsPrec :: Int -> FixitySing fixy -> ShowS

show :: FixitySing fixy -> String

showList :: [FixitySing fixy] -> ShowS