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.Syntax 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 #
SugarableFinally Program Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: Program -> Program 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 #
Pretty Program Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: Program -> Doc ann # prettyList :: [Program] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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.Syntax 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 #
SugarableFinally MetaId Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: MetaId -> MetaId 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 #
Pretty MetaId Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: MetaId -> Doc ann # prettyList :: [MetaId] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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.Syntax 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 #
SugarableFinally Object Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: Object -> Object 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 #
Pretty Object Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: Object -> Doc ann # prettyList :: [Object] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 "GlobalObjectPhiOrg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ThisObject" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Termination" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ConstStringRaw" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StringRaw)) :+: C1 ('MetaCons "ConstIntRaw" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IntegerSigned)))))) :+: (((C1 ('MetaCons "ConstFloatRaw" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DoubleSigned)) :+: 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))) :+: (C1 ('MetaCons "ConstFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: (C1 ('MetaCons "ConstInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "ConstString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))))

data Binding Source #

Constructors

AlphaBinding AttributeSugar Object
AlphaBindingSugar 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.Syntax 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 #
SugarableFinally Binding Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: Binding -> Binding 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 #
Pretty Binding Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: Binding -> Doc ann # prettyList :: [Binding] -> Doc ann #
Pretty [Binding] Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: [Binding] -> Doc ann # prettyList :: [[Binding]] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" 'False) (((C1 ('MetaCons "AlphaBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeSugar) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)) :+: C1 ('MetaCons "AlphaBindingSugar" 'PrefixI 'False) (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 AttributeSugar Source #

Constructors

AttributeNoSugar Attribute
AttributeSugar LabelId [Attribute]

Instances

Instances details

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

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.Syntax 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 #
SugarableFinally Attribute Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: Attribute -> Attribute 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 #
Pretty Attribute Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: Attribute -> Doc ann # prettyList :: [Attribute] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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.Syntax 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 #
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 #
Pretty RuleAttribute Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: RuleAttribute -> Doc ann # prettyList :: [RuleAttribute] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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.Syntax 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 #
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 #
Pretty PeeledObject Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: PeeledObject -> Doc ann # prettyList :: [PeeledObject] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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.Syntax 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 #
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 #
Pretty ObjectHead Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: ObjectHead -> Doc ann # prettyList :: [ObjectHead] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
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 #
Pretty ObjectAction Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: ObjectAction -> Doc ann # prettyList :: [ObjectAction] -> Doc ann #
Pretty [ObjectAction] Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: [ObjectAction] -> Doc ann # prettyList :: [[ObjectAction]] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
SugarableFinally Bytes Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: Bytes -> Bytes 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 #
Pretty Bytes Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: Bytes -> Doc ann # prettyList :: [Bytes] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
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 #
Pretty Function Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: Function -> Doc ann # prettyList :: [Function] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
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 #
Pretty LabelId Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: LabelId -> Doc ann # prettyList :: [LabelId] -> Doc ann #
Pretty [LabelId] Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: [LabelId] -> Doc ann # prettyList :: [[LabelId]] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
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 #
Pretty AlphaIndex Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: AlphaIndex -> Doc ann # prettyList :: [AlphaIndex] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
SugarableFinally LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: LabelMetaId -> LabelMetaId 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 #
Pretty LabelMetaId Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: LabelMetaId -> Doc ann # prettyList :: [LabelMetaId] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
SugarableFinally TailMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: TailMetaId -> TailMetaId 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 #
Pretty TailMetaId Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: TailMetaId -> Doc ann # prettyList :: [TailMetaId] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
SugarableFinally BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: BindingsMetaId -> BindingsMetaId 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 #
Pretty BindingsMetaId Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: BindingsMetaId -> Doc ann # prettyList :: [BindingsMetaId] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
SugarableFinally ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: ObjectMetaId -> ObjectMetaId 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 #
Pretty ObjectMetaId Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: ObjectMetaId -> Doc ann # prettyList :: [ObjectMetaId] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
SugarableFinally BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Syntax Methods sugarFinally :: BytesMetaId -> BytesMetaId 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 #
Pretty BytesMetaId Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: BytesMetaId -> Doc ann # prettyList :: [BytesMetaId] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #
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 #
Pretty MetaFunctionName Source #
Instance details Defined in Language.EO.Phi.Pretty Methods pretty :: MetaFunctionName -> Doc ann # prettyList :: [MetaFunctionName] -> Doc ann #
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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" 'True) (C1 ('MetaCons "MetaFunctionName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype IntegerSigned Source #

Constructors

IntegerSigned String

Instances

Instances details

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

newtype DoubleSigned Source #

Constructors

DoubleSigned String

Instances

Instances details

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

newtype StringRaw Source #

Constructors

StringRaw String

Instances

Instances details

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

Formation [Binding]
Application Object [Binding]
ObjectDispatch Object Attribute
GlobalObject
GlobalObjectPhiOrg
ThisObject
Termination
ConstStringRaw StringRaw
ConstIntRaw IntegerSigned
ConstFloatRaw DoubleSigned
MetaSubstThis Object Object
MetaContextualize Object Object
MetaObject ObjectMetaId
MetaTailContext Object TailMetaId
MetaFunction MetaFunctionName Object
ConstFloat Double
ConstInt Integer
ConstString String