Copyright	(c) roki 2019
License	MIT
Maintainer	falgon53@yahoo.co.jp
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Htcc.Parser.ConstructionData.Scope.Function

Description

The Data type of variables and its utilities used in parsing

Synopsis

data Function a = Function {
- fntype :: StorageClass a
- fnDefined :: Bool
}
type Functions i = Map Text (Function i)
add :: Num i => Bool -> StorageClass i -> TokenLC i -> Functions i -> Either (ASTError i) (Functions i)

Documentation

data Function a Source #

The data type of a typedef tag

Constructors

Function	The contypedefor of a typedef tag
Fields fntype :: StorageClass a The type of this typedef fnDefined :: Bool If the function is defined, it will be `True`, otherwise will be `False`.

Instances

Instances details

Eq a => Eq (Function a) Source #
Instance details Defined in Htcc.Parser.ConstructionData.Scope.Function Methods (==) :: Function a -> Function a -> Bool # (/=) :: Function a -> Function a -> Bool #
Ord a => Ord (Function a) Source #
Instance details Defined in Htcc.Parser.ConstructionData.Scope.Function Methods compare :: Function a -> Function a -> Ordering # (<) :: Function a -> Function a -> Bool # (<=) :: Function a -> Function a -> Bool # (>) :: Function a -> Function a -> Bool # (>=) :: Function a -> Function a -> Bool # max :: Function a -> Function a -> Function a # min :: Function a -> Function a -> Function a #
Show a => Show (Function a) Source #
Instance details Defined in Htcc.Parser.ConstructionData.Scope.Function Methods showsPrec :: Int -> Function a -> ShowS # show :: Function a -> String # showList :: [Function a] -> ShowS #
Generic (Function a) Source #
Instance details Defined in Htcc.Parser.ConstructionData.Scope.Function Associated Types type Rep (Function a) :: Type -> Type # Methods from :: Function a -> Rep (Function a) x # to :: Rep (Function a) x -> Function a #
NFData a => NFData (Function a) Source #
Instance details Defined in Htcc.Parser.ConstructionData.Scope.Function Methods rnf :: Function a -> () #
ManagedScope (Function i) Source #
Instance details Defined in Htcc.Parser.ConstructionData.Scope.Function Methods lookup :: Text -> Map Text (Function i) -> Maybe (Function i) Source # fallBack :: Map Text (Function i) -> Map Text (Function i) -> Map Text (Function i) Source # initial :: Map Text (Function i) Source #
type Rep (Function a) Source #
Instance details Defined in Htcc.Parser.ConstructionData.Scope.Function type Rep (Function a) = D1 ('MetaData "Function" "Htcc.Parser.ConstructionData.Scope.Function" "htcc-0.0.0.1-I8tHuOdNzco4DzUthNftqr" 'False) (C1 ('MetaCons "Function" 'PrefixI 'True) (S1 ('MetaSel ('Just "fntype") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StorageClass a)) :*: S1 ('MetaSel ('Just "fnDefined") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

type Functions i = Map Text (Function i) Source #

The typedefs data typedefs

add :: Num i => Bool -> StorageClass i -> TokenLC i -> Functions i -> Either (ASTError i) (Functions i) Source #

Given the flag (when that is added function, it is True. otherwise False), type, identifier token, and Functions, if the specified identifier already exists in the same scope, return an error message and its location as a pair. Otherwise, add a new tag to Functions and return it. If the token does not indicate an identifier, an error indicating internal compiler error is returned.