Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.EO.Phi.Syntax.Abs

Description

The abstract syntax of language Syntax.

Documentation

data Program Source #

Constructors

Program [Binding]

Instances

Instances details

Data Program Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Program -> c Program # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Program # toConstr :: Program -> Constr # dataTypeOf :: Program -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Program) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Program) # gmapT :: (forall b. Data b => b -> b) -> Program -> Program # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Program -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Program -> r # gmapQ :: (forall d. Data d => d -> u) -> Program -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Program -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Program -> m Program # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Program -> m Program # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Program -> m Program #
IsString Program Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fromString :: String -> Program #
Generic Program Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep Program :: Type -> Type # Methods from :: Program -> Rep Program x # to :: Rep Program x -> Program #
Read Program Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS Program # readList :: ReadS [Program] # readPrec :: ReadPrec Program # readListPrec :: ReadPrec [Program] #
Show Program Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> Program -> ShowS # show :: Program -> String # showList :: [Program] -> ShowS #
Print Program Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> Program -> Doc Source #
ToLatex Program Source #
Instance details Defined in Language.EO.Phi.ToLaTeX Methods toLatex :: Program -> LaTeX Source # toLatexString :: Program -> String Source #
Eq Program Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: Program -> Program -> Bool # (/=) :: Program -> Program -> Bool #
Ord Program Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: Program -> Program -> Ordering # (<) :: Program -> Program -> Bool # (<=) :: Program -> Program -> Bool # (>) :: Program -> Program -> Bool # (>=) :: Program -> Program -> Bool # max :: Program -> Program -> Program # min :: Program -> Program -> Program #
type Rep Program Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep Program = D1 ('MetaData "Program" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "Program" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binding])))

data MetaId Source #

Constructors

MetaIdLabel LabelMetaId
MetaIdTail TailMetaId
MetaIdBindings BindingsMetaId
MetaIdObject ObjectMetaId
MetaIdBytes BytesMetaId

Instances

Instances details

FromJSON MetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser MetaId # parseJSONList :: Value -> Parser [MetaId] #
Data MetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MetaId -> c MetaId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MetaId # toConstr :: MetaId -> Constr # dataTypeOf :: MetaId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MetaId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MetaId) # gmapT :: (forall b. Data b => b -> b) -> MetaId -> MetaId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MetaId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MetaId -> r # gmapQ :: (forall d. Data d => d -> u) -> MetaId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MetaId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MetaId -> m MetaId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MetaId -> m MetaId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MetaId -> m MetaId #
IsString MetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fromString :: String -> MetaId #
Generic MetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep MetaId :: Type -> Type # Methods from :: MetaId -> Rep MetaId x # to :: Rep MetaId x -> MetaId #
Read MetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS MetaId # readList :: ReadS [MetaId] # readPrec :: ReadPrec MetaId # readListPrec :: ReadPrec [MetaId] #
Show MetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> MetaId -> ShowS # show :: MetaId -> String # showList :: [MetaId] -> ShowS #
Print MetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> MetaId -> Doc Source #
Eq MetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: MetaId -> MetaId -> Bool # (/=) :: MetaId -> MetaId -> Bool #
Ord MetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: MetaId -> MetaId -> Ordering # (<) :: MetaId -> MetaId -> Bool # (<=) :: MetaId -> MetaId -> Bool # (>) :: MetaId -> MetaId -> Bool # (>=) :: MetaId -> MetaId -> Bool # max :: MetaId -> MetaId -> MetaId # min :: MetaId -> MetaId -> MetaId #
type Rep MetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep MetaId = D1 ('MetaData "MetaId" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) ((C1 ('MetaCons "MetaIdLabel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LabelMetaId)) :+: C1 ('MetaCons "MetaIdTail" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TailMetaId))) :+: (C1 ('MetaCons "MetaIdBindings" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BindingsMetaId)) :+: (C1 ('MetaCons "MetaIdObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectMetaId)) :+: C1 ('MetaCons "MetaIdBytes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BytesMetaId)))))

data Object Source #

Instances

Instances details

FromJSON Object Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser Object # parseJSONList :: Value -> Parser [Object] #
Data Object Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Object -> c Object # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Object # toConstr :: Object -> Constr # dataTypeOf :: Object -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Object) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Object) # gmapT :: (forall b. Data b => b -> b) -> Object -> Object # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r # gmapQ :: (forall d. Data d => d -> u) -> Object -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Object -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Object -> m Object # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object #
IsString Object Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fromString :: String -> Object #
Generic Object Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep Object :: Type -> Type # Methods from :: Object -> Rep Object x # to :: Rep Object x -> Object #
Read Object Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS Object # readList :: ReadS [Object] # readPrec :: ReadPrec Object # readListPrec :: ReadPrec [Object] #
Show Object Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> Object -> ShowS # show :: Object -> String # showList :: [Object] -> ShowS #
Inspectable Object Source #
Instance details Defined in Language.EO.Phi.Metrics.Collect Methods inspect :: Object -> InspectM Source #
Print Object Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> Object -> Doc Source #
ToLatex Object Source #
Instance details Defined in Language.EO.Phi.ToLaTeX Methods toLatex :: Object -> LaTeX Source # toLatexString :: Object -> String Source #
Eq Object Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: Object -> Object -> Bool # (/=) :: Object -> Object -> Bool #
Ord Object Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: Object -> Object -> Ordering # (<) :: Object -> Object -> Bool # (<=) :: Object -> Object -> Bool # (>) :: Object -> Object -> Bool # (>=) :: Object -> Object -> Bool # max :: Object -> Object -> Object # min :: Object -> Object -> Object #
type Rep Object Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep Object = D1 ('MetaData "Object" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (((C1 ('MetaCons "Formation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binding])) :+: C1 ('MetaCons "Application" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binding]))) :+: (C1 ('MetaCons "ObjectDispatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: (C1 ('MetaCons "GlobalObject" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ThisObject" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Termination" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MetaSubstThis" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)) :+: C1 ('MetaCons "MetaContextualize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)))) :+: (C1 ('MetaCons "MetaObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectMetaId)) :+: (C1 ('MetaCons "MetaTailContext" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TailMetaId)) :+: C1 ('MetaCons "MetaFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MetaFunctionName) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object))))))

data Binding Source #

Constructors

AlphaBinding Attribute Object
EmptyBinding Attribute
DeltaBinding Bytes
DeltaEmptyBinding
LambdaBinding Function
MetaBindings BindingsMetaId
MetaDeltaBinding BytesMetaId

Instances

Instances details

FromJSON Binding Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser Binding # parseJSONList :: Value -> Parser [Binding] #
Data Binding Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Binding -> c Binding # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Binding # toConstr :: Binding -> Constr # dataTypeOf :: Binding -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Binding) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Binding) # gmapT :: (forall b. Data b => b -> b) -> Binding -> Binding # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Binding -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Binding -> r # gmapQ :: (forall d. Data d => d -> u) -> Binding -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Binding -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Binding -> m Binding # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Binding -> m Binding # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Binding -> m Binding #
IsString Binding Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fromString :: String -> Binding #
Generic Binding Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep Binding :: Type -> Type # Methods from :: Binding -> Rep Binding x # to :: Rep Binding x -> Binding #
Read Binding Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS Binding # readList :: ReadS [Binding] # readPrec :: ReadPrec Binding # readListPrec :: ReadPrec [Binding] #
Show Binding Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> Binding -> ShowS # show :: Binding -> String # showList :: [Binding] -> ShowS #
Inspectable Binding Source #
Instance details Defined in Language.EO.Phi.Metrics.Collect Methods inspect :: Binding -> InspectM Source #
Print Binding Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> Binding -> Doc Source #
ToLatex Binding Source #
Instance details Defined in Language.EO.Phi.ToLaTeX Methods toLatex :: Binding -> LaTeX Source # toLatexString :: Binding -> String Source #
Eq Binding Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: Binding -> Binding -> Bool # (/=) :: Binding -> Binding -> Bool #
Ord Binding Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: Binding -> Binding -> Ordering # (<) :: Binding -> Binding -> Bool # (<=) :: Binding -> Binding -> Bool # (>) :: Binding -> Binding -> Bool # (>=) :: Binding -> Binding -> Bool # max :: Binding -> Binding -> Binding # min :: Binding -> Binding -> Binding #
Print [Binding] Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> [Binding] -> Doc Source #
type Rep Binding Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep Binding = D1 ('MetaData "Binding" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) ((C1 ('MetaCons "AlphaBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)) :+: (C1 ('MetaCons "EmptyBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "DeltaBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bytes)))) :+: ((C1 ('MetaCons "DeltaEmptyBinding" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LambdaBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Function))) :+: (C1 ('MetaCons "MetaBindings" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BindingsMetaId)) :+: C1 ('MetaCons "MetaDeltaBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BytesMetaId)))))

data Attribute Source #

Constructors

Phi
Rho
Label LabelId
Alpha AlphaIndex
MetaAttr LabelMetaId

Instances

Instances details

FromJSON Attribute Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser Attribute # parseJSONList :: Value -> Parser [Attribute] #
Data Attribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attribute -> c Attribute # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attribute # toConstr :: Attribute -> Constr # dataTypeOf :: Attribute -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attribute) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attribute) # gmapT :: (forall b. Data b => b -> b) -> Attribute -> Attribute # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attribute -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attribute -> r # gmapQ :: (forall d. Data d => d -> u) -> Attribute -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Attribute -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attribute -> m Attribute # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribute -> m Attribute # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attribute -> m Attribute #
IsString Attribute Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fromString :: String -> Attribute #
Generic Attribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep Attribute :: Type -> Type # Methods from :: Attribute -> Rep Attribute x # to :: Rep Attribute x -> Attribute #
Read Attribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS Attribute # readList :: ReadS [Attribute] # readPrec :: ReadPrec Attribute # readListPrec :: ReadPrec [Attribute] #
Show Attribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> Attribute -> ShowS # show :: Attribute -> String # showList :: [Attribute] -> ShowS #
Print Attribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> Attribute -> Doc Source #
ToLatex Attribute Source #
Instance details Defined in Language.EO.Phi.ToLaTeX Methods toLatex :: Attribute -> LaTeX Source # toLatexString :: Attribute -> String Source #
Eq Attribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: Attribute -> Attribute -> Bool # (/=) :: Attribute -> Attribute -> Bool #
Ord Attribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: Attribute -> Attribute -> Ordering # (<) :: Attribute -> Attribute -> Bool # (<=) :: Attribute -> Attribute -> Bool # (>) :: Attribute -> Attribute -> Bool # (>=) :: Attribute -> Attribute -> Bool # max :: Attribute -> Attribute -> Attribute # min :: Attribute -> Attribute -> Attribute #
type Rep Attribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep Attribute = D1 ('MetaData "Attribute" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) ((C1 ('MetaCons "Phi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rho" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LabelId)) :+: (C1 ('MetaCons "Alpha" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AlphaIndex)) :+: C1 ('MetaCons "MetaAttr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LabelMetaId)))))

data RuleAttribute Source #

Constructors

ObjectAttr Attribute
DeltaAttr
LambdaAttr

Instances

Instances details

FromJSON RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser RuleAttribute # parseJSONList :: Value -> Parser [RuleAttribute] #
Data RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RuleAttribute -> c RuleAttribute # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RuleAttribute # toConstr :: RuleAttribute -> Constr # dataTypeOf :: RuleAttribute -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RuleAttribute) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RuleAttribute) # gmapT :: (forall b. Data b => b -> b) -> RuleAttribute -> RuleAttribute # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RuleAttribute -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RuleAttribute -> r # gmapQ :: (forall d. Data d => d -> u) -> RuleAttribute -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RuleAttribute -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RuleAttribute -> m RuleAttribute # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleAttribute -> m RuleAttribute # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleAttribute -> m RuleAttribute #
IsString RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fromString :: String -> RuleAttribute #
Generic RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep RuleAttribute :: Type -> Type # Methods from :: RuleAttribute -> Rep RuleAttribute x # to :: Rep RuleAttribute x -> RuleAttribute #
Read RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS RuleAttribute # readList :: ReadS [RuleAttribute] # readPrec :: ReadPrec RuleAttribute # readListPrec :: ReadPrec [RuleAttribute] #
Show RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> RuleAttribute -> ShowS # show :: RuleAttribute -> String # showList :: [RuleAttribute] -> ShowS #
Print RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> RuleAttribute -> Doc Source #
ToLatex RuleAttribute Source #
Instance details Defined in Language.EO.Phi.ToLaTeX Methods toLatex :: RuleAttribute -> LaTeX Source # toLatexString :: RuleAttribute -> String Source #
Eq RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: RuleAttribute -> RuleAttribute -> Bool # (/=) :: RuleAttribute -> RuleAttribute -> Bool #
Ord RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: RuleAttribute -> RuleAttribute -> Ordering # (<) :: RuleAttribute -> RuleAttribute -> Bool # (<=) :: RuleAttribute -> RuleAttribute -> Bool # (>) :: RuleAttribute -> RuleAttribute -> Bool # (>=) :: RuleAttribute -> RuleAttribute -> Bool # max :: RuleAttribute -> RuleAttribute -> RuleAttribute # min :: RuleAttribute -> RuleAttribute -> RuleAttribute #
type Rep RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep RuleAttribute = D1 ('MetaData "RuleAttribute" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "ObjectAttr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: (C1 ('MetaCons "DeltaAttr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LambdaAttr" 'PrefixI 'False) (U1 :: Type -> Type)))

data PeeledObject Source #

Constructors

PeeledObject ObjectHead [ObjectAction]

Instances

Instances details

Data PeeledObject Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PeeledObject -> c PeeledObject # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PeeledObject # toConstr :: PeeledObject -> Constr # dataTypeOf :: PeeledObject -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PeeledObject) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PeeledObject) # gmapT :: (forall b. Data b => b -> b) -> PeeledObject -> PeeledObject # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PeeledObject -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PeeledObject -> r # gmapQ :: (forall d. Data d => d -> u) -> PeeledObject -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PeeledObject -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PeeledObject -> m PeeledObject # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PeeledObject -> m PeeledObject # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PeeledObject -> m PeeledObject #
IsString PeeledObject Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fromString :: String -> PeeledObject #
Generic PeeledObject Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep PeeledObject :: Type -> Type # Methods from :: PeeledObject -> Rep PeeledObject x # to :: Rep PeeledObject x -> PeeledObject #
Read PeeledObject Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS PeeledObject # readList :: ReadS [PeeledObject] # readPrec :: ReadPrec PeeledObject # readListPrec :: ReadPrec [PeeledObject] #
Show PeeledObject Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> PeeledObject -> ShowS # show :: PeeledObject -> String # showList :: [PeeledObject] -> ShowS #
Print PeeledObject Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> PeeledObject -> Doc Source #
Eq PeeledObject Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: PeeledObject -> PeeledObject -> Bool # (/=) :: PeeledObject -> PeeledObject -> Bool #
Ord PeeledObject Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: PeeledObject -> PeeledObject -> Ordering # (<) :: PeeledObject -> PeeledObject -> Bool # (<=) :: PeeledObject -> PeeledObject -> Bool # (>) :: PeeledObject -> PeeledObject -> Bool # (>=) :: PeeledObject -> PeeledObject -> Bool # max :: PeeledObject -> PeeledObject -> PeeledObject # min :: PeeledObject -> PeeledObject -> PeeledObject #
type Rep PeeledObject Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep PeeledObject = D1 ('MetaData "PeeledObject" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "PeeledObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectHead) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ObjectAction])))

data ObjectHead Source #

Constructors

HeadFormation [Binding]
HeadGlobal
HeadThis
HeadTermination

Instances

Instances details

Data ObjectHead Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectHead -> c ObjectHead # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectHead # toConstr :: ObjectHead -> Constr # dataTypeOf :: ObjectHead -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectHead) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectHead) # gmapT :: (forall b. Data b => b -> b) -> ObjectHead -> ObjectHead # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectHead -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectHead -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectHead -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectHead -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectHead -> m ObjectHead # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectHead -> m ObjectHead # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectHead -> m ObjectHead #
IsString ObjectHead Source #
Instance details Defined in Language.EO.Phi.Rules.Common Methods fromString :: String -> ObjectHead #
Generic ObjectHead Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep ObjectHead :: Type -> Type # Methods from :: ObjectHead -> Rep ObjectHead x # to :: Rep ObjectHead x -> ObjectHead #
Read ObjectHead Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS ObjectHead # readList :: ReadS [ObjectHead] # readPrec :: ReadPrec ObjectHead # readListPrec :: ReadPrec [ObjectHead] #
Show ObjectHead Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> ObjectHead -> ShowS # show :: ObjectHead -> String # showList :: [ObjectHead] -> ShowS #
Print ObjectHead Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> ObjectHead -> Doc Source #
Eq ObjectHead Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: ObjectHead -> ObjectHead -> Bool # (/=) :: ObjectHead -> ObjectHead -> Bool #
Ord ObjectHead Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: ObjectHead -> ObjectHead -> Ordering # (<) :: ObjectHead -> ObjectHead -> Bool # (<=) :: ObjectHead -> ObjectHead -> Bool # (>) :: ObjectHead -> ObjectHead -> Bool # (>=) :: ObjectHead -> ObjectHead -> Bool # max :: ObjectHead -> ObjectHead -> ObjectHead # min :: ObjectHead -> ObjectHead -> ObjectHead #
type Rep ObjectHead Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep ObjectHead = D1 ('MetaData "ObjectHead" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) ((C1 ('MetaCons "HeadFormation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binding])) :+: C1 ('MetaCons "HeadGlobal" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HeadThis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HeadTermination" 'PrefixI 'False) (U1 :: Type -> Type)))

data ObjectAction Source #

Constructors

ActionApplication [Binding]
ActionDispatch Attribute

Instances

Instances details

Data ObjectAction Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectAction -> c ObjectAction # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectAction # toConstr :: ObjectAction -> Constr # dataTypeOf :: ObjectAction -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectAction) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectAction) # gmapT :: (forall b. Data b => b -> b) -> ObjectAction -> ObjectAction # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectAction -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectAction -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectAction -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectAction -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectAction -> m ObjectAction # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectAction -> m ObjectAction # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectAction -> m ObjectAction #
Generic ObjectAction Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep ObjectAction :: Type -> Type # Methods from :: ObjectAction -> Rep ObjectAction x # to :: Rep ObjectAction x -> ObjectAction #
Read ObjectAction Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS ObjectAction # readList :: ReadS [ObjectAction] # readPrec :: ReadPrec ObjectAction # readListPrec :: ReadPrec [ObjectAction] #
Show ObjectAction Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> ObjectAction -> ShowS # show :: ObjectAction -> String # showList :: [ObjectAction] -> ShowS #
Print ObjectAction Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> ObjectAction -> Doc Source #
Eq ObjectAction Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: ObjectAction -> ObjectAction -> Bool # (/=) :: ObjectAction -> ObjectAction -> Bool #
Ord ObjectAction Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: ObjectAction -> ObjectAction -> Ordering # (<) :: ObjectAction -> ObjectAction -> Bool # (<=) :: ObjectAction -> ObjectAction -> Bool # (>) :: ObjectAction -> ObjectAction -> Bool # (>=) :: ObjectAction -> ObjectAction -> Bool # max :: ObjectAction -> ObjectAction -> ObjectAction # min :: ObjectAction -> ObjectAction -> ObjectAction #
Print [ObjectAction] Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> [ObjectAction] -> Doc Source #
type Rep ObjectAction Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep ObjectAction = D1 ('MetaData "ObjectAction" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "ActionApplication" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binding])) :+: C1 ('MetaCons "ActionDispatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)))

newtype Bytes Source #

Constructors

Bytes String

Instances

Instances details

Data Bytes Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bytes -> c Bytes # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bytes # toConstr :: Bytes -> Constr # dataTypeOf :: Bytes -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bytes) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bytes) # gmapT :: (forall b. Data b => b -> b) -> Bytes -> Bytes # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bytes -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bytes -> r # gmapQ :: (forall d. Data d => d -> u) -> Bytes -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bytes -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bytes -> m Bytes # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes -> m Bytes # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes -> m Bytes #
IsString Bytes Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods fromString :: String -> Bytes #
Generic Bytes Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep Bytes :: Type -> Type # Methods from :: Bytes -> Rep Bytes x # to :: Rep Bytes x -> Bytes #
Read Bytes Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS Bytes # readList :: ReadS [Bytes] # readPrec :: ReadPrec Bytes # readListPrec :: ReadPrec [Bytes] #
Show Bytes Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> Bytes -> ShowS # show :: Bytes -> String # showList :: [Bytes] -> ShowS #
Print Bytes Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> Bytes -> Doc Source #
Eq Bytes Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: Bytes -> Bytes -> Bool # (/=) :: Bytes -> Bytes -> Bool #
Ord Bytes Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: Bytes -> Bytes -> Ordering # (<) :: Bytes -> Bytes -> Bool # (<=) :: Bytes -> Bytes -> Bool # (>) :: Bytes -> Bytes -> Bool # (>=) :: Bytes -> Bytes -> Bool # max :: Bytes -> Bytes -> Bytes # min :: Bytes -> Bytes -> Bytes #
type Rep Bytes Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep Bytes = D1 ('MetaData "Bytes" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'True) (C1 ('MetaCons "Bytes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype Function Source #

Constructors

Function String

Instances

Instances details

Data Function Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Function -> c Function # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Function # toConstr :: Function -> Constr # dataTypeOf :: Function -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Function) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Function) # gmapT :: (forall b. Data b => b -> b) -> Function -> Function # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Function -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Function -> r # gmapQ :: (forall d. Data d => d -> u) -> Function -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Function -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Function -> m Function # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Function -> m Function # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Function -> m Function #
IsString Function Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods fromString :: String -> Function #
Generic Function Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep Function :: Type -> Type # Methods from :: Function -> Rep Function x # to :: Rep Function x -> Function #
Read Function Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS Function # readList :: ReadS [Function] # readPrec :: ReadPrec Function # readListPrec :: ReadPrec [Function] #
Show Function Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
Print Function Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> Function -> Doc Source #
Eq Function Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: Function -> Function -> Bool # (/=) :: Function -> Function -> Bool #
Ord Function Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: Function -> Function -> Ordering # (<) :: Function -> Function -> Bool # (<=) :: Function -> Function -> Bool # (>) :: Function -> Function -> Bool # (>=) :: Function -> Function -> Bool # max :: Function -> Function -> Function # min :: Function -> Function -> Function #
type Rep Function Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep Function = D1 ('MetaData "Function" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'True) (C1 ('MetaCons "Function" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype LabelId Source #

Constructors

LabelId String

Instances

Instances details

FromJSON LabelId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser LabelId # parseJSONList :: Value -> Parser [LabelId] #
Data LabelId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LabelId -> c LabelId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LabelId # toConstr :: LabelId -> Constr # dataTypeOf :: LabelId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LabelId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LabelId) # gmapT :: (forall b. Data b => b -> b) -> LabelId -> LabelId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LabelId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LabelId -> r # gmapQ :: (forall d. Data d => d -> u) -> LabelId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LabelId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LabelId -> m LabelId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LabelId -> m LabelId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LabelId -> m LabelId #
IsString LabelId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods fromString :: String -> LabelId #
Generic LabelId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep LabelId :: Type -> Type # Methods from :: LabelId -> Rep LabelId x # to :: Rep LabelId x -> LabelId #
Read LabelId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS LabelId # readList :: ReadS [LabelId] # readPrec :: ReadPrec LabelId # readListPrec :: ReadPrec [LabelId] #
Show LabelId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> LabelId -> ShowS # show :: LabelId -> String # showList :: [LabelId] -> ShowS #
Print LabelId Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> LabelId -> Doc Source #
Eq LabelId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: LabelId -> LabelId -> Bool # (/=) :: LabelId -> LabelId -> Bool #
Ord LabelId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: LabelId -> LabelId -> Ordering # (<) :: LabelId -> LabelId -> Bool # (<=) :: LabelId -> LabelId -> Bool # (>) :: LabelId -> LabelId -> Bool # (>=) :: LabelId -> LabelId -> Bool # max :: LabelId -> LabelId -> LabelId # min :: LabelId -> LabelId -> LabelId #
type Rep LabelId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep LabelId = D1 ('MetaData "LabelId" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'True) (C1 ('MetaCons "LabelId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype AlphaIndex Source #

Constructors

AlphaIndex String

Instances

Instances details

FromJSON AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser AlphaIndex # parseJSONList :: Value -> Parser [AlphaIndex] #
Data AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AlphaIndex -> c AlphaIndex # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AlphaIndex # toConstr :: AlphaIndex -> Constr # dataTypeOf :: AlphaIndex -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AlphaIndex) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AlphaIndex) # gmapT :: (forall b. Data b => b -> b) -> AlphaIndex -> AlphaIndex # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AlphaIndex -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AlphaIndex -> r # gmapQ :: (forall d. Data d => d -> u) -> AlphaIndex -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AlphaIndex -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AlphaIndex -> m AlphaIndex # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AlphaIndex -> m AlphaIndex # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AlphaIndex -> m AlphaIndex #
IsString AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods fromString :: String -> AlphaIndex #
Generic AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep AlphaIndex :: Type -> Type # Methods from :: AlphaIndex -> Rep AlphaIndex x # to :: Rep AlphaIndex x -> AlphaIndex #
Read AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS AlphaIndex # readList :: ReadS [AlphaIndex] # readPrec :: ReadPrec AlphaIndex # readListPrec :: ReadPrec [AlphaIndex] #
Show AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> AlphaIndex -> ShowS # show :: AlphaIndex -> String # showList :: [AlphaIndex] -> ShowS #
Print AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> AlphaIndex -> Doc Source #
Eq AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: AlphaIndex -> AlphaIndex -> Bool # (/=) :: AlphaIndex -> AlphaIndex -> Bool #
Ord AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: AlphaIndex -> AlphaIndex -> Ordering # (<) :: AlphaIndex -> AlphaIndex -> Bool # (<=) :: AlphaIndex -> AlphaIndex -> Bool # (>) :: AlphaIndex -> AlphaIndex -> Bool # (>=) :: AlphaIndex -> AlphaIndex -> Bool # max :: AlphaIndex -> AlphaIndex -> AlphaIndex # min :: AlphaIndex -> AlphaIndex -> AlphaIndex #
type Rep AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep AlphaIndex = D1 ('MetaData "AlphaIndex" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'True) (C1 ('MetaCons "AlphaIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype LabelMetaId Source #

Constructors

LabelMetaId String

Instances

Instances details

FromJSON LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser LabelMetaId # parseJSONList :: Value -> Parser [LabelMetaId] #
Data LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LabelMetaId -> c LabelMetaId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LabelMetaId # toConstr :: LabelMetaId -> Constr # dataTypeOf :: LabelMetaId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LabelMetaId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LabelMetaId) # gmapT :: (forall b. Data b => b -> b) -> LabelMetaId -> LabelMetaId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LabelMetaId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LabelMetaId -> r # gmapQ :: (forall d. Data d => d -> u) -> LabelMetaId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LabelMetaId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LabelMetaId -> m LabelMetaId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LabelMetaId -> m LabelMetaId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LabelMetaId -> m LabelMetaId #
IsString LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods fromString :: String -> LabelMetaId #
Generic LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep LabelMetaId :: Type -> Type # Methods from :: LabelMetaId -> Rep LabelMetaId x # to :: Rep LabelMetaId x -> LabelMetaId #
Read LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS LabelMetaId # readList :: ReadS [LabelMetaId] # readPrec :: ReadPrec LabelMetaId # readListPrec :: ReadPrec [LabelMetaId] #
Show LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> LabelMetaId -> ShowS # show :: LabelMetaId -> String # showList :: [LabelMetaId] -> ShowS #
Print LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> LabelMetaId -> Doc Source #
Eq LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: LabelMetaId -> LabelMetaId -> Bool # (/=) :: LabelMetaId -> LabelMetaId -> Bool #
Ord LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: LabelMetaId -> LabelMetaId -> Ordering # (<) :: LabelMetaId -> LabelMetaId -> Bool # (<=) :: LabelMetaId -> LabelMetaId -> Bool # (>) :: LabelMetaId -> LabelMetaId -> Bool # (>=) :: LabelMetaId -> LabelMetaId -> Bool # max :: LabelMetaId -> LabelMetaId -> LabelMetaId # min :: LabelMetaId -> LabelMetaId -> LabelMetaId #
type Rep LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep LabelMetaId = D1 ('MetaData "LabelMetaId" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'True) (C1 ('MetaCons "LabelMetaId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype TailMetaId Source #

Constructors

TailMetaId String

Instances

Instances details

FromJSON TailMetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser TailMetaId # parseJSONList :: Value -> Parser [TailMetaId] #
Data TailMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TailMetaId -> c TailMetaId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TailMetaId # toConstr :: TailMetaId -> Constr # dataTypeOf :: TailMetaId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TailMetaId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TailMetaId) # gmapT :: (forall b. Data b => b -> b) -> TailMetaId -> TailMetaId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TailMetaId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TailMetaId -> r # gmapQ :: (forall d. Data d => d -> u) -> TailMetaId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TailMetaId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TailMetaId -> m TailMetaId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TailMetaId -> m TailMetaId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TailMetaId -> m TailMetaId #
IsString TailMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods fromString :: String -> TailMetaId #
Generic TailMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep TailMetaId :: Type -> Type # Methods from :: TailMetaId -> Rep TailMetaId x # to :: Rep TailMetaId x -> TailMetaId #
Read TailMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS TailMetaId # readList :: ReadS [TailMetaId] # readPrec :: ReadPrec TailMetaId # readListPrec :: ReadPrec [TailMetaId] #
Show TailMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> TailMetaId -> ShowS # show :: TailMetaId -> String # showList :: [TailMetaId] -> ShowS #
Print TailMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> TailMetaId -> Doc Source #
Eq TailMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: TailMetaId -> TailMetaId -> Bool # (/=) :: TailMetaId -> TailMetaId -> Bool #
Ord TailMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: TailMetaId -> TailMetaId -> Ordering # (<) :: TailMetaId -> TailMetaId -> Bool # (<=) :: TailMetaId -> TailMetaId -> Bool # (>) :: TailMetaId -> TailMetaId -> Bool # (>=) :: TailMetaId -> TailMetaId -> Bool # max :: TailMetaId -> TailMetaId -> TailMetaId # min :: TailMetaId -> TailMetaId -> TailMetaId #
type Rep TailMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep TailMetaId = D1 ('MetaData "TailMetaId" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'True) (C1 ('MetaCons "TailMetaId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype BindingsMetaId Source #

Constructors

BindingsMetaId String

Instances

Instances details

FromJSON BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser BindingsMetaId # parseJSONList :: Value -> Parser [BindingsMetaId] #
Data BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BindingsMetaId -> c BindingsMetaId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BindingsMetaId # toConstr :: BindingsMetaId -> Constr # dataTypeOf :: BindingsMetaId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BindingsMetaId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BindingsMetaId) # gmapT :: (forall b. Data b => b -> b) -> BindingsMetaId -> BindingsMetaId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BindingsMetaId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BindingsMetaId -> r # gmapQ :: (forall d. Data d => d -> u) -> BindingsMetaId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BindingsMetaId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BindingsMetaId -> m BindingsMetaId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BindingsMetaId -> m BindingsMetaId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BindingsMetaId -> m BindingsMetaId #
IsString BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods fromString :: String -> BindingsMetaId #
Generic BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep BindingsMetaId :: Type -> Type # Methods from :: BindingsMetaId -> Rep BindingsMetaId x # to :: Rep BindingsMetaId x -> BindingsMetaId #
Read BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS BindingsMetaId # readList :: ReadS [BindingsMetaId] # readPrec :: ReadPrec BindingsMetaId # readListPrec :: ReadPrec [BindingsMetaId] #
Show BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> BindingsMetaId -> ShowS # show :: BindingsMetaId -> String # showList :: [BindingsMetaId] -> ShowS #
Print BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> BindingsMetaId -> Doc Source #
Eq BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: BindingsMetaId -> BindingsMetaId -> Bool # (/=) :: BindingsMetaId -> BindingsMetaId -> Bool #
Ord BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: BindingsMetaId -> BindingsMetaId -> Ordering # (<) :: BindingsMetaId -> BindingsMetaId -> Bool # (<=) :: BindingsMetaId -> BindingsMetaId -> Bool # (>) :: BindingsMetaId -> BindingsMetaId -> Bool # (>=) :: BindingsMetaId -> BindingsMetaId -> Bool # max :: BindingsMetaId -> BindingsMetaId -> BindingsMetaId # min :: BindingsMetaId -> BindingsMetaId -> BindingsMetaId #
type Rep BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep BindingsMetaId = D1 ('MetaData "BindingsMetaId" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'True) (C1 ('MetaCons "BindingsMetaId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype ObjectMetaId Source #

Constructors

ObjectMetaId String

Instances

Instances details

FromJSON ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser ObjectMetaId # parseJSONList :: Value -> Parser [ObjectMetaId] #
Data ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectMetaId -> c ObjectMetaId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectMetaId # toConstr :: ObjectMetaId -> Constr # dataTypeOf :: ObjectMetaId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectMetaId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectMetaId) # gmapT :: (forall b. Data b => b -> b) -> ObjectMetaId -> ObjectMetaId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectMetaId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectMetaId -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectMetaId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectMetaId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectMetaId -> m ObjectMetaId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectMetaId -> m ObjectMetaId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectMetaId -> m ObjectMetaId #
IsString ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods fromString :: String -> ObjectMetaId #
Generic ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep ObjectMetaId :: Type -> Type # Methods from :: ObjectMetaId -> Rep ObjectMetaId x # to :: Rep ObjectMetaId x -> ObjectMetaId #
Read ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS ObjectMetaId # readList :: ReadS [ObjectMetaId] # readPrec :: ReadPrec ObjectMetaId # readListPrec :: ReadPrec [ObjectMetaId] #
Show ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> ObjectMetaId -> ShowS # show :: ObjectMetaId -> String # showList :: [ObjectMetaId] -> ShowS #
Print ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> ObjectMetaId -> Doc Source #
Eq ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: ObjectMetaId -> ObjectMetaId -> Bool # (/=) :: ObjectMetaId -> ObjectMetaId -> Bool #
Ord ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: ObjectMetaId -> ObjectMetaId -> Ordering # (<) :: ObjectMetaId -> ObjectMetaId -> Bool # (<=) :: ObjectMetaId -> ObjectMetaId -> Bool # (>) :: ObjectMetaId -> ObjectMetaId -> Bool # (>=) :: ObjectMetaId -> ObjectMetaId -> Bool # max :: ObjectMetaId -> ObjectMetaId -> ObjectMetaId # min :: ObjectMetaId -> ObjectMetaId -> ObjectMetaId #
type Rep ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep ObjectMetaId = D1 ('MetaData "ObjectMetaId" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'True) (C1 ('MetaCons "ObjectMetaId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype BytesMetaId Source #

Constructors

BytesMetaId String

Instances

Instances details

FromJSON BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser BytesMetaId # parseJSONList :: Value -> Parser [BytesMetaId] #
Data BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BytesMetaId -> c BytesMetaId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BytesMetaId # toConstr :: BytesMetaId -> Constr # dataTypeOf :: BytesMetaId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BytesMetaId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BytesMetaId) # gmapT :: (forall b. Data b => b -> b) -> BytesMetaId -> BytesMetaId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BytesMetaId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BytesMetaId -> r # gmapQ :: (forall d. Data d => d -> u) -> BytesMetaId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BytesMetaId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BytesMetaId -> m BytesMetaId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BytesMetaId -> m BytesMetaId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BytesMetaId -> m BytesMetaId #
IsString BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods fromString :: String -> BytesMetaId #
Generic BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep BytesMetaId :: Type -> Type # Methods from :: BytesMetaId -> Rep BytesMetaId x # to :: Rep BytesMetaId x -> BytesMetaId #
Read BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS BytesMetaId # readList :: ReadS [BytesMetaId] # readPrec :: ReadPrec BytesMetaId # readListPrec :: ReadPrec [BytesMetaId] #
Show BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> BytesMetaId -> ShowS # show :: BytesMetaId -> String # showList :: [BytesMetaId] -> ShowS #
Print BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> BytesMetaId -> Doc Source #
Eq BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: BytesMetaId -> BytesMetaId -> Bool # (/=) :: BytesMetaId -> BytesMetaId -> Bool #
Ord BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: BytesMetaId -> BytesMetaId -> Ordering # (<) :: BytesMetaId -> BytesMetaId -> Bool # (<=) :: BytesMetaId -> BytesMetaId -> Bool # (>) :: BytesMetaId -> BytesMetaId -> Bool # (>=) :: BytesMetaId -> BytesMetaId -> Bool # max :: BytesMetaId -> BytesMetaId -> BytesMetaId # min :: BytesMetaId -> BytesMetaId -> BytesMetaId #
type Rep BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep BytesMetaId = D1 ('MetaData "BytesMetaId" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'True) (C1 ('MetaCons "BytesMetaId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype MetaFunctionName Source #

Constructors

MetaFunctionName String

Instances

Instances details

Data MetaFunctionName Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MetaFunctionName -> c MetaFunctionName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MetaFunctionName # toConstr :: MetaFunctionName -> Constr # dataTypeOf :: MetaFunctionName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MetaFunctionName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MetaFunctionName) # gmapT :: (forall b. Data b => b -> b) -> MetaFunctionName -> MetaFunctionName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MetaFunctionName -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MetaFunctionName -> r # gmapQ :: (forall d. Data d => d -> u) -> MetaFunctionName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MetaFunctionName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MetaFunctionName -> m MetaFunctionName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MetaFunctionName -> m MetaFunctionName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MetaFunctionName -> m MetaFunctionName #
IsString MetaFunctionName Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods fromString :: String -> MetaFunctionName #
Generic MetaFunctionName Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Associated Types type Rep MetaFunctionName :: Type -> Type # Methods from :: MetaFunctionName -> Rep MetaFunctionName x # to :: Rep MetaFunctionName x -> MetaFunctionName #
Read MetaFunctionName Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods readsPrec :: Int -> ReadS MetaFunctionName # readList :: ReadS [MetaFunctionName] # readPrec :: ReadPrec MetaFunctionName # readListPrec :: ReadPrec [MetaFunctionName] #
Show MetaFunctionName Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods showsPrec :: Int -> MetaFunctionName -> ShowS # show :: MetaFunctionName -> String # showList :: [MetaFunctionName] -> ShowS #
Print MetaFunctionName Source #
Instance details Defined in Language.EO.Phi.Syntax.Print Methods prt :: Int -> MetaFunctionName -> Doc Source #
Eq MetaFunctionName Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods (==) :: MetaFunctionName -> MetaFunctionName -> Bool # (/=) :: MetaFunctionName -> MetaFunctionName -> Bool #
Ord MetaFunctionName Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs Methods compare :: MetaFunctionName -> MetaFunctionName -> Ordering # (<) :: MetaFunctionName -> MetaFunctionName -> Bool # (<=) :: MetaFunctionName -> MetaFunctionName -> Bool # (>) :: MetaFunctionName -> MetaFunctionName -> Bool # (>=) :: MetaFunctionName -> MetaFunctionName -> Bool # max :: MetaFunctionName -> MetaFunctionName -> MetaFunctionName # min :: MetaFunctionName -> MetaFunctionName -> MetaFunctionName #
type Rep MetaFunctionName Source #
Instance details Defined in Language.EO.Phi.Syntax.Abs type Rep MetaFunctionName = D1 ('MetaData "MetaFunctionName" "Language.EO.Phi.Syntax.Abs" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'True) (C1 ('MetaCons "MetaFunctionName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Formation [Binding]
Application Object [Binding]
ObjectDispatch Object Attribute
GlobalObject
ThisObject
Termination
MetaSubstThis Object Object
MetaContextualize Object Object
MetaObject ObjectMetaId
MetaTailContext Object TailMetaId
MetaFunction MetaFunctionName Object