Copyright	(c) DFKI GmbH 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	ariesco@fdi.ucm.es
Stability	experimental
Portability	portable
Safe Haskell	Safe

Maude.AS_Maude

Contents

Types
Construction
Information Extraction
Attribute Classification

Description

The abstract syntax of maude. Basic specs are a list of statements excluding imports. Sentences are equations, membership axioms, and rules. Sort, subsort and operations should be converted to signature.

Because maude parses and typechecks an input string in one go, basic specs for the logic instance are just a wrapped string that is created by a simple parser.

Synopsis

newtype MaudeText = MaudeText String
type Qid = Token
data Spec
- = SpecMod Module
- | SpecTh Module
- | SpecView View
data Module = Module ModId [Parameter] [Statement]
data View = View ModId ModExp ModExp [Renaming]
data Parameter = Parameter Sort ModExp
data ModExp
- = ModExp ModId
- | SummationModExp ModExp ModExp
- | RenamingModExp ModExp [Renaming]
- | InstantiationModExp ModExp [ViewId]
data Renaming
- = SortRenaming Sort Sort
- | LabelRenaming LabelId LabelId
- | OpRenaming1 OpId ToPartRenaming
- | OpRenaming2 OpId [Type] Type ToPartRenaming
- | TermMap Term Term
data ToPartRenaming = To OpId [Attr]
data Statement
- = ImportStmnt Import
- | SortStmnt Sort
- | SubsortStmnt SubsortDecl
- | OpStmnt Operator
- | EqStmnt Equation
- | MbStmnt Membership
- | RlStmnt Rule
data Import
- = Including ModExp
- | Extending ModExp
- | Protecting ModExp
data SubsortDecl = Subsort Sort Sort
data Operator = Op OpId [Type] Type [Attr]
data Membership = Mb Term Sort [Condition] [StmntAttr]
data Equation = Eq Term Term [Condition] [StmntAttr]
data Rule = Rl Term Term [Condition] [StmntAttr]
data Condition
- = EqCond Term Term
- | MbCond Term Sort
- | MatchCond Term Term
- | RwCond Term Term
data Attr
- = Assoc
- | Comm
- | Idem
- | Iter
- | Id Term
- | LeftId Term
- | RightId Term
- | Strat [Int]
- | Memo
- | Prec Int
- | Gather [Qid]
- | Format [Qid]
- | Ctor
- | Config
- | Object
- | Msg
- | Frozen [Int]
- | Poly [Int]
- | Special [Hook]
data StmntAttr
- = Label Qid
- | Metadata String
- | Owise
- | Nonexec
- | Print [Qid]
data Hook
- = IdHook Qid [Qid]
- | OpHook Qid Qid [Qid] Qid
- | TermHook Qid Term
data Term
- = Const Qid Type
- | Var Qid Type
- | Apply Qid [Term] Type
data Type
- = TypeSort Sort
- | TypeKind Kind
newtype Sort = SortId Qid
newtype Kind = KindId Qid
newtype ParamId = ParamId Qid
newtype ViewId = ViewId Qid
newtype ModId = ModId Qid
newtype LabelId = LabelId Qid
newtype OpId = OpId Qid
mkVar :: String -> Type -> Term
getTermType :: Term -> Type
assoc :: Attr -> Bool
comm :: Attr -> Bool
idem :: Attr -> Bool
idtty :: Attr -> Bool
leftId :: Attr -> Bool
rightId :: Attr -> Bool
ctor :: Attr -> Bool
owise :: StmntAttr -> Bool

Types

newtype MaudeText Source #

Constructors

MaudeText String

Instances

Instances details

Show MaudeText Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> MaudeText -> ShowS show :: MaudeText -> String showList :: [MaudeText] -> ShowS
Generic MaudeText
Instance details Defined in Maude.ATC_Maude Associated Types type Rep MaudeText :: Type -> Type Methods from :: MaudeText -> Rep MaudeText x to :: Rep MaudeText x -> MaudeText
Semigroup MaudeText
Instance details Defined in Maude.Logic_Maude Methods (<>) :: MaudeText -> MaudeText -> MaudeText # sconcat :: NonEmpty MaudeText -> MaudeText stimes :: Integral b => b -> MaudeText -> MaudeText
Monoid MaudeText
Instance details Defined in Maude.Logic_Maude Methods mempty :: MaudeText mappend :: MaudeText -> MaudeText -> MaudeText mconcat :: [MaudeText] -> MaudeText
GetRange MaudeText Source #
Instance details Defined in Maude.AS_Maude Methods getRange :: MaudeText -> Range Source # rangeSpan :: MaudeText -> [Pos] Source #
FromJSON MaudeText
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser MaudeText parseJSONList :: Value -> Parser [MaudeText]
ToJSON MaudeText
Instance details Defined in Maude.ATC_Maude Methods toJSON :: MaudeText -> Value toEncoding :: MaudeText -> Encoding toJSONList :: [MaudeText] -> Value toEncodingList :: [MaudeText] -> Encoding
ShATermConvertible MaudeText
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> MaudeText -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MaudeText] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MaudeText) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MaudeText])
Pretty MaudeText Source #
Instance details Defined in Maude.AS_Maude Methods pretty :: MaudeText -> Doc Source # pretties :: [MaudeText] -> Doc Source #
Syntax Maude MaudeText Symbol () () Source #	Instance of Syntax for Maude
Instance details Defined in Maude.Logic_Maude Methods parsersAndPrinters :: Maude -> Map String (PrefixMap -> AParser st MaudeText, MaudeText -> Doc) Source # parse_basic_spec :: Maude -> Maybe (PrefixMap -> AParser st MaudeText) Source # parseSingleSymbItem :: Maude -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_items :: Maude -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_map_items :: Maude -> Maybe (PrefixMap -> AParser st ()) Source # toItem :: Maude -> MaudeText -> Item Source # symb_items_name :: Maude -> () -> [String] Source #
StaticAnalysis Maude MaudeText Sentence () () Sign Morphism Symbol Symbol Source #	Instance of StaticAnalysis for Maude
Instance details Defined in Maude.Logic_Maude Methods basic_analysis :: Maude -> Maybe ((MaudeText, Sign, GlobalAnnos) -> Result (MaudeText, ExtSign Sign Symbol, [Named Sentence])) Source # sen_analysis :: Maude -> Maybe ((MaudeText, Sign, Sentence) -> Result Sentence) Source # extBasicAnalysis :: Maude -> IRI -> LibName -> MaudeText -> Sign -> GlobalAnnos -> Result (MaudeText, ExtSign Sign Symbol, [Named Sentence]) Source # stat_symb_map_items :: Maude -> Sign -> Maybe Sign -> [()] -> Result (EndoMap Symbol) Source # stat_symb_items :: Maude -> Sign -> [()] -> Result [Symbol] Source # convertTheory :: Maude -> Maybe ((Sign, [Named Sentence]) -> MaudeText) Source # ensures_amalgamability :: Maude -> ([CASLAmalgOpt], Gr Sign (Int, Morphism), [(Int, Morphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: Maude -> Morphism -> [Named Sentence] -> Result (Sign, [Named Sentence]) Source # signature_colimit :: Maude -> Gr Sign (Int, Morphism) -> Result (Sign, Map Int Morphism) Source # qualify :: Maude -> SIMPLE_ID -> LibName -> Morphism -> Sign -> Result (Morphism, [Named Sentence]) Source # symbol_to_raw :: Maude -> Symbol -> Symbol Source # id_to_raw :: Maude -> Id -> Symbol Source # matches :: Maude -> Symbol -> Symbol -> Bool Source # empty_signature :: Maude -> Sign Source # add_symb_to_sign :: Maude -> Sign -> Symbol -> Result Sign Source # signature_union :: Maude -> Sign -> Sign -> Result Sign Source # signatureDiff :: Maude -> Sign -> Sign -> Result Sign Source # intersection :: Maude -> Sign -> Sign -> Result Sign Source # final_union :: Maude -> Sign -> Sign -> Result Sign Source # morphism_union :: Maude -> Morphism -> Morphism -> Result Morphism Source # is_subsig :: Maude -> Sign -> Sign -> Bool Source # subsig_inclusion :: Maude -> Sign -> Sign -> Result Morphism Source # generated_sign :: Maude -> Set Symbol -> Sign -> Result Morphism Source # cogenerated_sign :: Maude -> Set Symbol -> Sign -> Result Morphism Source # induced_from_morphism :: Maude -> EndoMap Symbol -> Sign -> Result Morphism Source # induced_from_to_morphism :: Maude -> EndoMap Symbol -> ExtSign Sign Symbol -> ExtSign Sign Symbol -> Result Morphism Source # is_transportable :: Maude -> Morphism -> Bool Source # is_injective :: Maude -> Morphism -> Bool Source # theory_to_taxonomy :: Maude -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sentence] -> Result MMiSSOntology Source # corresp2th :: Maude -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap Symbol -> EndoMap Symbol -> REL_REF -> Result (Sign, [Named Sentence], Sign, Sign, EndoMap Symbol, EndoMap Symbol) Source # equiv2cospan :: Maude -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap Symbol, EndoMap Symbol) Source # extract_module :: Maude -> [IRI] -> (Sign, [Named Sentence]) -> Result (Sign, [Named Sentence]) Source #
LogicalFramework Maude () MaudeText Sentence () () Sign Morphism Symbol Symbol () Source #
Instance details Defined in Maude.Logic_Maude Methods base_sig :: Maude -> Sign Source # write_logic :: Maude -> String -> String Source # write_syntax :: Maude -> String -> Morphism -> String Source # write_proof :: Maude -> String -> Morphism -> String Source # write_model :: Maude -> String -> Morphism -> String Source # read_morphism :: Maude -> FilePath -> Morphism Source # write_comorphism :: Maude -> String -> String -> String -> Morphism -> Morphism -> Morphism -> String Source #
Logic Maude () MaudeText Sentence () () Sign Morphism Symbol Symbol () Source #	Instance of Logic for Maude
Instance details Defined in Maude.Logic_Maude Methods parse_basic_sen :: Maude -> Maybe (MaudeText -> AParser st Sentence) Source # stability :: Maude -> Stability Source # data_logic :: Maude -> Maybe AnyLogic Source # top_sublogic :: Maude -> () Source # all_sublogics :: Maude -> [()] Source # bottomSublogic :: Maude -> Maybe () Source # sublogicDimensions :: Maude -> [[()]] Source # parseSublogic :: Maude -> String -> Maybe () Source # proj_sublogic_epsilon :: Maude -> () -> Sign -> Morphism Source # provers :: Maude -> [Prover Sign Sentence Morphism () ()] Source # default_prover :: Maude -> String Source # cons_checkers :: Maude -> [ConsChecker Sign Sentence () Morphism ()] Source # conservativityCheck :: Maude -> [ConservativityChecker Sign Sentence Morphism] Source # empty_proof_tree :: Maude -> () Source # syntaxTable :: Maude -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: Maude -> Maybe OMCD Source # export_symToOmdoc :: Maude -> NameMap Symbol -> Symbol -> String -> Result TCElement Source # export_senToOmdoc :: Maude -> NameMap Symbol -> Sentence -> Result TCorOMElement Source # export_theoryToOmdoc :: Maude -> SigMap Symbol -> Sign -> [Named Sentence] -> Result [TCElement] Source # omdocToSym :: Maude -> SigMapI Symbol -> TCElement -> String -> Result Symbol Source # omdocToSen :: Maude -> SigMapI Symbol -> TCElement -> String -> Result (Maybe (Named Sentence)) Source # addOMadtToTheory :: Maude -> SigMapI Symbol -> (Sign, [Named Sentence]) -> [[OmdADT]] -> Result (Sign, [Named Sentence]) Source # addOmdocToTheory :: Maude -> SigMapI Symbol -> (Sign, [Named Sentence]) -> [TCElement] -> Result (Sign, [Named Sentence]) Source # sublogicOfTheo :: Maude -> (Sign, [Sentence]) -> () Source #
Comorphism Maude2CASL Maude () MaudeText Sentence () () Sign Morphism Symbol Symbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #
Instance details Defined in Comorphisms.Maude2CASL Methods sourceLogic :: Maude2CASL -> Maude Source # sourceSublogic :: Maude2CASL -> () Source # sourceSublogicLossy :: Maude2CASL -> () Source # minSourceTheory :: Maude2CASL -> Maybe (LibName, String) Source # targetLogic :: Maude2CASL -> CASL Source # mapSublogic :: Maude2CASL -> () -> Maybe CASL_Sublogics Source # map_theory :: Maude2CASL -> (Sign, [Named Sentence]) -> Result (CASLSign, [Named CASLFORMULA]) Source # mapMarkedTheory :: Maude2CASL -> (Sign, [Named Sentence]) -> Result (CASLSign, [Named CASLFORMULA]) Source # map_morphism :: Maude2CASL -> Morphism -> Result CASLMor Source # map_sentence :: Maude2CASL -> Sign -> Sentence -> Result CASLFORMULA Source # map_symbol :: Maude2CASL -> Sign -> Symbol -> Set Symbol0 Source # extractModel :: Maude2CASL -> Sign -> ProofTree -> Result (Sign, [Named Sentence]) Source # is_model_transportable :: Maude2CASL -> Bool Source # has_model_expansion :: Maude2CASL -> Bool Source # is_weakly_amalgamable :: Maude2CASL -> Bool Source # constituents :: Maude2CASL -> [String] Source # isInclusionComorphism :: Maude2CASL -> Bool Source # rps :: Maude2CASL -> Bool Source # eps :: Maude2CASL -> Bool Source # isGTC :: Maude2CASL -> Bool Source #
type Rep MaudeText
Instance details Defined in Maude.ATC_Maude type Rep MaudeText = D1 ('MetaData "MaudeText" "Maude.AS_Maude" "main" 'True) (C1 ('MetaCons "MaudeText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

type Qid = Token Source #

data Spec Source #

Constructors

SpecMod Module
SpecTh Module
SpecView View

Instances

Instances details

Eq Spec Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Spec -> Spec -> Bool (/=) :: Spec -> Spec -> Bool
Data Spec Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Spec -> c Spec gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Spec toConstr :: Spec -> Constr dataTypeOf :: Spec -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Spec) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Spec) gmapT :: (forall b. Data b => b -> b) -> Spec -> Spec gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Spec -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Spec -> r gmapQ :: (forall d. Data d => d -> u) -> Spec -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Spec -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Spec -> m Spec gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Spec -> m Spec gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Spec -> m Spec
Ord Spec Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Spec -> Spec -> Ordering (<) :: Spec -> Spec -> Bool (<=) :: Spec -> Spec -> Bool (>) :: Spec -> Spec -> Bool (>=) :: Spec -> Spec -> Bool max :: Spec -> Spec -> Spec min :: Spec -> Spec -> Spec
Read Spec Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Spec readList :: ReadS [Spec] readPrec :: ReadPrec Spec readListPrec :: ReadPrec [Spec]
Show Spec Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Spec -> ShowS show :: Spec -> String showList :: [Spec] -> ShowS
Generic Spec
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Spec :: Type -> Type Methods from :: Spec -> Rep Spec x to :: Rep Spec x -> Spec
FromJSON Spec
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Spec parseJSONList :: Value -> Parser [Spec]
ToJSON Spec
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Spec -> Value toEncoding :: Spec -> Encoding toJSONList :: [Spec] -> Value toEncodingList :: [Spec] -> Encoding
ShATermConvertible Spec
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Spec -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Spec] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Spec) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Spec])
HasName Spec Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: Spec -> Qid Source # mapName :: (Qid -> Qid) -> Spec -> Spec Source #
type Rep Spec
Instance details Defined in Maude.ATC_Maude type Rep Spec = D1 ('MetaData "Spec" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "SpecMod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module)) :+: (C1 ('MetaCons "SpecTh" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module)) :+: C1 ('MetaCons "SpecView" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 View))))

data Module Source #

Constructors

Module ModId [Parameter] [Statement]

Instances

Instances details

Eq Module Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Module -> Module -> Bool (/=) :: Module -> Module -> Bool
Data Module Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Module -> c Module gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Module toConstr :: Module -> Constr dataTypeOf :: Module -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Module) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Module) gmapT :: (forall b. Data b => b -> b) -> Module -> Module gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r gmapQ :: (forall d. Data d => d -> u) -> Module -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Module -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Module -> m Module gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module
Ord Module Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Module -> Module -> Ordering (<) :: Module -> Module -> Bool (<=) :: Module -> Module -> Bool (>) :: Module -> Module -> Bool (>=) :: Module -> Module -> Bool max :: Module -> Module -> Module min :: Module -> Module -> Module
Read Module Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Module readList :: ReadS [Module] readPrec :: ReadPrec Module readListPrec :: ReadPrec [Module]
Show Module Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Module -> ShowS show :: Module -> String showList :: [Module] -> ShowS
Generic Module
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Module :: Type -> Type Methods from :: Module -> Rep Module x to :: Rep Module x -> Module
FromJSON Module
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Module parseJSONList :: Value -> Parser [Module]
ToJSON Module
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Module -> Value toEncoding :: Module -> Encoding toJSONList :: [Module] -> Value toEncodingList :: [Module] -> Encoding
ShATermConvertible Module
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Module -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Module] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Module) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Module])
HasName Module Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: Module -> Qid Source # mapName :: (Qid -> Qid) -> Module -> Module Source #
type Rep Module
Instance details Defined in Maude.ATC_Maude type Rep Module = D1 ('MetaData "Module" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "Module" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModId) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Parameter]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Statement]))))

data View Source #

Constructors

View ModId ModExp ModExp [Renaming]

Instances

Instances details

Eq View Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: View -> View -> Bool (/=) :: View -> View -> Bool
Data View Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> View -> c View gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c View toConstr :: View -> Constr dataTypeOf :: View -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c View) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c View) gmapT :: (forall b. Data b => b -> b) -> View -> View gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> View -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> View -> r gmapQ :: (forall d. Data d => d -> u) -> View -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> View -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> View -> m View gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> View -> m View gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> View -> m View
Ord View Source #
Instance details Defined in Maude.AS_Maude Methods compare :: View -> View -> Ordering (<) :: View -> View -> Bool (<=) :: View -> View -> Bool (>) :: View -> View -> Bool (>=) :: View -> View -> Bool max :: View -> View -> View min :: View -> View -> View
Read View Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS View readList :: ReadS [View] readPrec :: ReadPrec View readListPrec :: ReadPrec [View]
Show View Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> View -> ShowS show :: View -> String showList :: [View] -> ShowS
Generic View
Instance details Defined in Maude.ATC_Maude Associated Types type Rep View :: Type -> Type Methods from :: View -> Rep View x to :: Rep View x -> View
FromJSON View
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser View parseJSONList :: Value -> Parser [View]
ToJSON View
Instance details Defined in Maude.ATC_Maude Methods toJSON :: View -> Value toEncoding :: View -> Encoding toJSONList :: [View] -> Value toEncodingList :: [View] -> Encoding
ShATermConvertible View
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> View -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [View] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, View) fromShATermList' :: Int -> ATermTable -> (ATermTable, [View])
HasName View Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: View -> Qid Source # mapName :: (Qid -> Qid) -> View -> View Source #
type Rep View
Instance details Defined in Maude.ATC_Maude type Rep View = D1 ('MetaData "View" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "View" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModExp)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModExp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Renaming]))))

data Parameter Source #

Constructors

Parameter Sort ModExp

Instances

Instances details

Eq Parameter Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Parameter -> Parameter -> Bool (/=) :: Parameter -> Parameter -> Bool
Data Parameter Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Parameter -> c Parameter gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Parameter toConstr :: Parameter -> Constr dataTypeOf :: Parameter -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Parameter) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Parameter) gmapT :: (forall b. Data b => b -> b) -> Parameter -> Parameter gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Parameter -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Parameter -> r gmapQ :: (forall d. Data d => d -> u) -> Parameter -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Parameter -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter
Ord Parameter Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Parameter -> Parameter -> Ordering (<) :: Parameter -> Parameter -> Bool (<=) :: Parameter -> Parameter -> Bool (>) :: Parameter -> Parameter -> Bool (>=) :: Parameter -> Parameter -> Bool max :: Parameter -> Parameter -> Parameter min :: Parameter -> Parameter -> Parameter
Read Parameter Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Parameter readList :: ReadS [Parameter] readPrec :: ReadPrec Parameter readListPrec :: ReadPrec [Parameter]
Show Parameter Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Parameter -> ShowS show :: Parameter -> String showList :: [Parameter] -> ShowS
Generic Parameter
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Parameter :: Type -> Type Methods from :: Parameter -> Rep Parameter x to :: Rep Parameter x -> Parameter
FromJSON Parameter
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Parameter parseJSONList :: Value -> Parser [Parameter]
ToJSON Parameter
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Parameter -> Value toEncoding :: Parameter -> Encoding toJSONList :: [Parameter] -> Value toEncodingList :: [Parameter] -> Encoding
ShATermConvertible Parameter
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Parameter -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Parameter] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Parameter) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Parameter])
type Rep Parameter
Instance details Defined in Maude.ATC_Maude type Rep Parameter = D1 ('MetaData "Parameter" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "Parameter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sort) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModExp)))

data ModExp Source #

Constructors

ModExp ModId
SummationModExp ModExp ModExp
RenamingModExp ModExp [Renaming]
InstantiationModExp ModExp [ViewId]

Instances

Instances details

Eq ModExp Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: ModExp -> ModExp -> Bool (/=) :: ModExp -> ModExp -> Bool
Data ModExp Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModExp -> c ModExp gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModExp toConstr :: ModExp -> Constr dataTypeOf :: ModExp -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModExp) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModExp) gmapT :: (forall b. Data b => b -> b) -> ModExp -> ModExp gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModExp -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModExp -> r gmapQ :: (forall d. Data d => d -> u) -> ModExp -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ModExp -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModExp -> m ModExp gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModExp -> m ModExp gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModExp -> m ModExp
Ord ModExp Source #
Instance details Defined in Maude.AS_Maude Methods compare :: ModExp -> ModExp -> Ordering (<) :: ModExp -> ModExp -> Bool (<=) :: ModExp -> ModExp -> Bool (>) :: ModExp -> ModExp -> Bool (>=) :: ModExp -> ModExp -> Bool max :: ModExp -> ModExp -> ModExp min :: ModExp -> ModExp -> ModExp
Read ModExp Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS ModExp readList :: ReadS [ModExp] readPrec :: ReadPrec ModExp readListPrec :: ReadPrec [ModExp]
Show ModExp Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> ModExp -> ShowS show :: ModExp -> String showList :: [ModExp] -> ShowS
Generic ModExp
Instance details Defined in Maude.ATC_Maude Associated Types type Rep ModExp :: Type -> Type Methods from :: ModExp -> Rep ModExp x to :: Rep ModExp x -> ModExp
FromJSON ModExp
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser ModExp parseJSONList :: Value -> Parser [ModExp]
ToJSON ModExp
Instance details Defined in Maude.ATC_Maude Methods toJSON :: ModExp -> Value toEncoding :: ModExp -> Encoding toJSONList :: [ModExp] -> Value toEncodingList :: [ModExp] -> Encoding
ShATermConvertible ModExp
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> ModExp -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ModExp] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ModExp) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ModExp])
type Rep ModExp
Instance details Defined in Maude.ATC_Maude type Rep ModExp = D1 ('MetaData "ModExp" "Maude.AS_Maude" "main" 'False) ((C1 ('MetaCons "ModExp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModId)) :+: C1 ('MetaCons "SummationModExp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModExp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModExp))) :+: (C1 ('MetaCons "RenamingModExp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModExp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Renaming])) :+: C1 ('MetaCons "InstantiationModExp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModExp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ViewId]))))

data Renaming Source #

Constructors

SortRenaming Sort Sort
LabelRenaming LabelId LabelId
OpRenaming1 OpId ToPartRenaming
OpRenaming2 OpId [Type] Type ToPartRenaming
TermMap Term Term

Instances

Instances details

Eq Renaming Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Renaming -> Renaming -> Bool (/=) :: Renaming -> Renaming -> Bool
Data Renaming Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Renaming -> c Renaming gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Renaming toConstr :: Renaming -> Constr dataTypeOf :: Renaming -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Renaming) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Renaming) gmapT :: (forall b. Data b => b -> b) -> Renaming -> Renaming gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Renaming -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Renaming -> r gmapQ :: (forall d. Data d => d -> u) -> Renaming -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Renaming -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Renaming -> m Renaming gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Renaming -> m Renaming gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Renaming -> m Renaming
Ord Renaming Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Renaming -> Renaming -> Ordering (<) :: Renaming -> Renaming -> Bool (<=) :: Renaming -> Renaming -> Bool (>) :: Renaming -> Renaming -> Bool (>=) :: Renaming -> Renaming -> Bool max :: Renaming -> Renaming -> Renaming min :: Renaming -> Renaming -> Renaming
Read Renaming Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Renaming readList :: ReadS [Renaming] readPrec :: ReadPrec Renaming readListPrec :: ReadPrec [Renaming]
Show Renaming Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Renaming -> ShowS show :: Renaming -> String showList :: [Renaming] -> ShowS
Generic Renaming
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Renaming :: Type -> Type Methods from :: Renaming -> Rep Renaming x to :: Rep Renaming x -> Renaming
FromJSON Renaming
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Renaming parseJSONList :: Value -> Parser [Renaming]
ToJSON Renaming
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Renaming -> Value toEncoding :: Renaming -> Encoding toJSONList :: [Renaming] -> Value toEncodingList :: [Renaming] -> Encoding
ShATermConvertible Renaming
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Renaming -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Renaming] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Renaming) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Renaming])
type Rep Renaming
Instance details Defined in Maude.ATC_Maude type Rep Renaming = D1 ('MetaData "Renaming" "Maude.AS_Maude" "main" 'False) ((C1 ('MetaCons "SortRenaming" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sort) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sort)) :+: C1 ('MetaCons "LabelRenaming" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LabelId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LabelId))) :+: (C1 ('MetaCons "OpRenaming1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OpId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ToPartRenaming)) :+: (C1 ('MetaCons "OpRenaming2" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OpId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type])) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ToPartRenaming))) :+: C1 ('MetaCons "TermMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term)))))

data ToPartRenaming Source #

Constructors

To OpId [Attr]

Instances

Instances details

Eq ToPartRenaming Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: ToPartRenaming -> ToPartRenaming -> Bool (/=) :: ToPartRenaming -> ToPartRenaming -> Bool
Data ToPartRenaming Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ToPartRenaming -> c ToPartRenaming gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ToPartRenaming toConstr :: ToPartRenaming -> Constr dataTypeOf :: ToPartRenaming -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ToPartRenaming) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ToPartRenaming) gmapT :: (forall b. Data b => b -> b) -> ToPartRenaming -> ToPartRenaming gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ToPartRenaming -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ToPartRenaming -> r gmapQ :: (forall d. Data d => d -> u) -> ToPartRenaming -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ToPartRenaming -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ToPartRenaming -> m ToPartRenaming gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ToPartRenaming -> m ToPartRenaming gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ToPartRenaming -> m ToPartRenaming
Ord ToPartRenaming Source #
Instance details Defined in Maude.AS_Maude Methods compare :: ToPartRenaming -> ToPartRenaming -> Ordering (<) :: ToPartRenaming -> ToPartRenaming -> Bool (<=) :: ToPartRenaming -> ToPartRenaming -> Bool (>) :: ToPartRenaming -> ToPartRenaming -> Bool (>=) :: ToPartRenaming -> ToPartRenaming -> Bool max :: ToPartRenaming -> ToPartRenaming -> ToPartRenaming min :: ToPartRenaming -> ToPartRenaming -> ToPartRenaming
Read ToPartRenaming Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS ToPartRenaming readList :: ReadS [ToPartRenaming] readPrec :: ReadPrec ToPartRenaming readListPrec :: ReadPrec [ToPartRenaming]
Show ToPartRenaming Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> ToPartRenaming -> ShowS show :: ToPartRenaming -> String showList :: [ToPartRenaming] -> ShowS
Generic ToPartRenaming
Instance details Defined in Maude.ATC_Maude Associated Types type Rep ToPartRenaming :: Type -> Type Methods from :: ToPartRenaming -> Rep ToPartRenaming x to :: Rep ToPartRenaming x -> ToPartRenaming
FromJSON ToPartRenaming
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser ToPartRenaming parseJSONList :: Value -> Parser [ToPartRenaming]
ToJSON ToPartRenaming
Instance details Defined in Maude.ATC_Maude Methods toJSON :: ToPartRenaming -> Value toEncoding :: ToPartRenaming -> Encoding toJSONList :: [ToPartRenaming] -> Value toEncodingList :: [ToPartRenaming] -> Encoding
ShATermConvertible ToPartRenaming
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> ToPartRenaming -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ToPartRenaming] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ToPartRenaming) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ToPartRenaming])
type Rep ToPartRenaming
Instance details Defined in Maude.ATC_Maude type Rep ToPartRenaming = D1 ('MetaData "ToPartRenaming" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "To" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OpId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Attr])))

data Statement Source #

Constructors

ImportStmnt Import
SortStmnt Sort
SubsortStmnt SubsortDecl
OpStmnt Operator
EqStmnt Equation
MbStmnt Membership
RlStmnt Rule

Instances

Instances details

Eq Statement Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Statement -> Statement -> Bool (/=) :: Statement -> Statement -> Bool
Data Statement Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Statement -> c Statement gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Statement toConstr :: Statement -> Constr dataTypeOf :: Statement -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Statement) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Statement) gmapT :: (forall b. Data b => b -> b) -> Statement -> Statement gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r gmapQ :: (forall d. Data d => d -> u) -> Statement -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Statement -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Statement -> m Statement gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement
Ord Statement Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Statement -> Statement -> Ordering (<) :: Statement -> Statement -> Bool (<=) :: Statement -> Statement -> Bool (>) :: Statement -> Statement -> Bool (>=) :: Statement -> Statement -> Bool max :: Statement -> Statement -> Statement min :: Statement -> Statement -> Statement
Read Statement Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Statement readList :: ReadS [Statement] readPrec :: ReadPrec Statement readListPrec :: ReadPrec [Statement]
Show Statement Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Statement -> ShowS show :: Statement -> String showList :: [Statement] -> ShowS
Generic Statement
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Statement :: Type -> Type Methods from :: Statement -> Rep Statement x to :: Rep Statement x -> Statement
FromJSON Statement
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Statement parseJSONList :: Value -> Parser [Statement]
ToJSON Statement
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Statement -> Value toEncoding :: Statement -> Encoding toJSONList :: [Statement] -> Value toEncodingList :: [Statement] -> Encoding
ShATermConvertible Statement
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Statement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Statement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Statement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Statement])
type Rep Statement
Instance details Defined in Maude.ATC_Maude type Rep Statement = D1 ('MetaData "Statement" "Maude.AS_Maude" "main" 'False) ((C1 ('MetaCons "ImportStmnt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Import)) :+: (C1 ('MetaCons "SortStmnt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sort)) :+: C1 ('MetaCons "SubsortStmnt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubsortDecl)))) :+: ((C1 ('MetaCons "OpStmnt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Operator)) :+: C1 ('MetaCons "EqStmnt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Equation))) :+: (C1 ('MetaCons "MbStmnt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Membership)) :+: C1 ('MetaCons "RlStmnt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rule)))))

data Import Source #

Constructors

Including ModExp
Extending ModExp
Protecting ModExp

Instances

Instances details

Eq Import Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Import -> Import -> Bool (/=) :: Import -> Import -> Bool
Data Import Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Import -> c Import gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Import toConstr :: Import -> Constr dataTypeOf :: Import -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Import) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Import) gmapT :: (forall b. Data b => b -> b) -> Import -> Import gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Import -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Import -> r gmapQ :: (forall d. Data d => d -> u) -> Import -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Import -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Import -> m Import gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Import -> m Import gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Import -> m Import
Ord Import Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Import -> Import -> Ordering (<) :: Import -> Import -> Bool (<=) :: Import -> Import -> Bool (>) :: Import -> Import -> Bool (>=) :: Import -> Import -> Bool max :: Import -> Import -> Import min :: Import -> Import -> Import
Read Import Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Import readList :: ReadS [Import] readPrec :: ReadPrec Import readListPrec :: ReadPrec [Import]
Show Import Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Import -> ShowS show :: Import -> String showList :: [Import] -> ShowS
Generic Import
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Import :: Type -> Type Methods from :: Import -> Rep Import x to :: Rep Import x -> Import
FromJSON Import
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Import parseJSONList :: Value -> Parser [Import]
ToJSON Import
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Import -> Value toEncoding :: Import -> Encoding toJSONList :: [Import] -> Value toEncodingList :: [Import] -> Encoding
ShATermConvertible Import
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Import -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Import] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Import) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Import])
type Rep Import
Instance details Defined in Maude.ATC_Maude type Rep Import = D1 ('MetaData "Import" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "Including" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModExp)) :+: (C1 ('MetaCons "Extending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModExp)) :+: C1 ('MetaCons "Protecting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModExp))))

data SubsortDecl Source #

Constructors

Subsort Sort Sort

Instances

Instances details

Eq SubsortDecl Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: SubsortDecl -> SubsortDecl -> Bool (/=) :: SubsortDecl -> SubsortDecl -> Bool
Data SubsortDecl Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SubsortDecl -> c SubsortDecl gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SubsortDecl toConstr :: SubsortDecl -> Constr dataTypeOf :: SubsortDecl -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SubsortDecl) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SubsortDecl) gmapT :: (forall b. Data b => b -> b) -> SubsortDecl -> SubsortDecl gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SubsortDecl -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SubsortDecl -> r gmapQ :: (forall d. Data d => d -> u) -> SubsortDecl -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SubsortDecl -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SubsortDecl -> m SubsortDecl gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SubsortDecl -> m SubsortDecl gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SubsortDecl -> m SubsortDecl
Ord SubsortDecl Source #
Instance details Defined in Maude.AS_Maude Methods compare :: SubsortDecl -> SubsortDecl -> Ordering (<) :: SubsortDecl -> SubsortDecl -> Bool (<=) :: SubsortDecl -> SubsortDecl -> Bool (>) :: SubsortDecl -> SubsortDecl -> Bool (>=) :: SubsortDecl -> SubsortDecl -> Bool max :: SubsortDecl -> SubsortDecl -> SubsortDecl min :: SubsortDecl -> SubsortDecl -> SubsortDecl
Read SubsortDecl Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS SubsortDecl readList :: ReadS [SubsortDecl] readPrec :: ReadPrec SubsortDecl readListPrec :: ReadPrec [SubsortDecl]
Show SubsortDecl Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> SubsortDecl -> ShowS show :: SubsortDecl -> String showList :: [SubsortDecl] -> ShowS
Generic SubsortDecl
Instance details Defined in Maude.ATC_Maude Associated Types type Rep SubsortDecl :: Type -> Type Methods from :: SubsortDecl -> Rep SubsortDecl x to :: Rep SubsortDecl x -> SubsortDecl
FromJSON SubsortDecl
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser SubsortDecl parseJSONList :: Value -> Parser [SubsortDecl]
ToJSON SubsortDecl
Instance details Defined in Maude.ATC_Maude Methods toJSON :: SubsortDecl -> Value toEncoding :: SubsortDecl -> Encoding toJSONList :: [SubsortDecl] -> Value toEncodingList :: [SubsortDecl] -> Encoding
ShATermConvertible SubsortDecl
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> SubsortDecl -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SubsortDecl] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SubsortDecl) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SubsortDecl])
type Rep SubsortDecl
Instance details Defined in Maude.ATC_Maude type Rep SubsortDecl = D1 ('MetaData "SubsortDecl" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "Subsort" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sort) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sort)))

data Operator Source #

Constructors

Op OpId [Type] Type [Attr]

Instances

Instances details

Eq Operator Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Operator -> Operator -> Bool (/=) :: Operator -> Operator -> Bool
Data Operator Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Operator -> c Operator gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Operator toConstr :: Operator -> Constr dataTypeOf :: Operator -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Operator) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Operator) gmapT :: (forall b. Data b => b -> b) -> Operator -> Operator gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Operator -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Operator -> r gmapQ :: (forall d. Data d => d -> u) -> Operator -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Operator -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Operator -> m Operator gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Operator -> m Operator gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Operator -> m Operator
Ord Operator Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Operator -> Operator -> Ordering (<) :: Operator -> Operator -> Bool (<=) :: Operator -> Operator -> Bool (>) :: Operator -> Operator -> Bool (>=) :: Operator -> Operator -> Bool max :: Operator -> Operator -> Operator min :: Operator -> Operator -> Operator
Read Operator Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Operator readList :: ReadS [Operator] readPrec :: ReadPrec Operator readListPrec :: ReadPrec [Operator]
Show Operator Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Operator -> ShowS show :: Operator -> String showList :: [Operator] -> ShowS
Generic Operator
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Operator :: Type -> Type Methods from :: Operator -> Rep Operator x to :: Rep Operator x -> Operator
FromJSON Operator
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Operator parseJSONList :: Value -> Parser [Operator]
ToJSON Operator
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Operator -> Value toEncoding :: Operator -> Encoding toJSONList :: [Operator] -> Value toEncodingList :: [Operator] -> Encoding
ShATermConvertible Operator
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Operator -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Operator] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Operator) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Operator])
HasName Operator Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: Operator -> Qid Source # mapName :: (Qid -> Qid) -> Operator -> Operator Source #
AsSymbol Operator Source #
Instance details Defined in Maude.Meta.AsSymbol Methods asSymbol :: Operator -> Symbol Source # asSymbolMaybe :: Operator -> Maybe Symbol Source #
HasSorts Operator Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Operator -> SymbolSet Source # mapSorts :: SymbolMap -> Operator -> Operator Source #
HasOps Operator Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Operator -> SymbolSet Source # mapOps :: SymbolMap -> Operator -> Operator Source #
type Rep Operator
Instance details Defined in Maude.ATC_Maude type Rep Operator = D1 ('MetaData "Operator" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "Op" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OpId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type])) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Attr]))))

data Membership Source #

Constructors

Mb Term Sort [Condition] [StmntAttr]

Instances

Instances details

Eq Membership Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Membership -> Membership -> Bool (/=) :: Membership -> Membership -> Bool
Data Membership Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Membership -> c Membership gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Membership toConstr :: Membership -> Constr dataTypeOf :: Membership -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Membership) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Membership) gmapT :: (forall b. Data b => b -> b) -> Membership -> Membership gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Membership -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Membership -> r gmapQ :: (forall d. Data d => d -> u) -> Membership -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Membership -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Membership -> m Membership gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Membership -> m Membership gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Membership -> m Membership
Ord Membership Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Membership -> Membership -> Ordering (<) :: Membership -> Membership -> Bool (<=) :: Membership -> Membership -> Bool (>) :: Membership -> Membership -> Bool (>=) :: Membership -> Membership -> Bool max :: Membership -> Membership -> Membership min :: Membership -> Membership -> Membership
Read Membership Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Membership readList :: ReadS [Membership] readPrec :: ReadPrec Membership readListPrec :: ReadPrec [Membership]
Show Membership Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Membership -> ShowS show :: Membership -> String showList :: [Membership] -> ShowS
Generic Membership
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Membership :: Type -> Type Methods from :: Membership -> Rep Membership x to :: Rep Membership x -> Membership
FromJSON Membership
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Membership parseJSONList :: Value -> Parser [Membership]
ToJSON Membership
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Membership -> Value toEncoding :: Membership -> Encoding toJSONList :: [Membership] -> Value toEncodingList :: [Membership] -> Encoding
ShATermConvertible Membership
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Membership -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Membership] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Membership) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Membership])
Pretty Membership Source #
Instance details Defined in Maude.Printing Methods pretty :: Membership -> Doc Source # pretties :: [Membership] -> Doc Source #
HasSorts Membership Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Membership -> SymbolSet Source # mapSorts :: SymbolMap -> Membership -> Membership Source #
HasOps Membership Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Membership -> SymbolSet Source # mapOps :: SymbolMap -> Membership -> Membership Source #
HasLabels Membership Source #
Instance details Defined in Maude.Meta.HasLabels Methods getLabels :: Membership -> SymbolSet Source # mapLabels :: SymbolMap -> Membership -> Membership Source #
type Rep Membership
Instance details Defined in Maude.ATC_Maude type Rep Membership = D1 ('MetaData "Membership" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "Mb" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sort)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Condition]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [StmntAttr]))))

data Equation Source #

Constructors

Eq Term Term [Condition] [StmntAttr]

Instances

Instances details

Eq Equation Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Equation -> Equation -> Bool (/=) :: Equation -> Equation -> Bool
Data Equation Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Equation -> c Equation gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Equation toConstr :: Equation -> Constr dataTypeOf :: Equation -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Equation) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Equation) gmapT :: (forall b. Data b => b -> b) -> Equation -> Equation gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Equation -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Equation -> r gmapQ :: (forall d. Data d => d -> u) -> Equation -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Equation -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Equation -> m Equation gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Equation -> m Equation gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Equation -> m Equation
Ord Equation Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Equation -> Equation -> Ordering (<) :: Equation -> Equation -> Bool (<=) :: Equation -> Equation -> Bool (>) :: Equation -> Equation -> Bool (>=) :: Equation -> Equation -> Bool max :: Equation -> Equation -> Equation min :: Equation -> Equation -> Equation
Read Equation Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Equation readList :: ReadS [Equation] readPrec :: ReadPrec Equation readListPrec :: ReadPrec [Equation]
Show Equation Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Equation -> ShowS show :: Equation -> String showList :: [Equation] -> ShowS
Generic Equation
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Equation :: Type -> Type Methods from :: Equation -> Rep Equation x to :: Rep Equation x -> Equation
FromJSON Equation
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Equation parseJSONList :: Value -> Parser [Equation]
ToJSON Equation
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Equation -> Value toEncoding :: Equation -> Encoding toJSONList :: [Equation] -> Value toEncodingList :: [Equation] -> Encoding
ShATermConvertible Equation
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Equation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Equation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Equation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Equation])
Pretty Equation Source #
Instance details Defined in Maude.Printing Methods pretty :: Equation -> Doc Source # pretties :: [Equation] -> Doc Source #
HasSorts Equation Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Equation -> SymbolSet Source # mapSorts :: SymbolMap -> Equation -> Equation Source #
HasOps Equation Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Equation -> SymbolSet Source # mapOps :: SymbolMap -> Equation -> Equation Source #
HasLabels Equation Source #
Instance details Defined in Maude.Meta.HasLabels Methods getLabels :: Equation -> SymbolSet Source # mapLabels :: SymbolMap -> Equation -> Equation Source #
type Rep Equation
Instance details Defined in Maude.ATC_Maude type Rep Equation = D1 ('MetaData "Equation" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "Eq" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Condition]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [StmntAttr]))))

data Rule Source #

Constructors

Rl Term Term [Condition] [StmntAttr]

Instances

Instances details

Eq Rule Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Rule -> Rule -> Bool (/=) :: Rule -> Rule -> Bool
Data Rule Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rule -> c Rule gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Rule toConstr :: Rule -> Constr dataTypeOf :: Rule -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Rule) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Rule) gmapT :: (forall b. Data b => b -> b) -> Rule -> Rule gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rule -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rule -> r gmapQ :: (forall d. Data d => d -> u) -> Rule -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Rule -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rule -> m Rule gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rule -> m Rule gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rule -> m Rule
Ord Rule Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Rule -> Rule -> Ordering (<) :: Rule -> Rule -> Bool (<=) :: Rule -> Rule -> Bool (>) :: Rule -> Rule -> Bool (>=) :: Rule -> Rule -> Bool max :: Rule -> Rule -> Rule min :: Rule -> Rule -> Rule
Read Rule Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Rule readList :: ReadS [Rule] readPrec :: ReadPrec Rule readListPrec :: ReadPrec [Rule]
Show Rule Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Rule -> ShowS show :: Rule -> String showList :: [Rule] -> ShowS
Generic Rule
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Rule :: Type -> Type Methods from :: Rule -> Rep Rule x to :: Rep Rule x -> Rule
FromJSON Rule
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Rule parseJSONList :: Value -> Parser [Rule]
ToJSON Rule
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Rule -> Value toEncoding :: Rule -> Encoding toJSONList :: [Rule] -> Value toEncodingList :: [Rule] -> Encoding
ShATermConvertible Rule
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Rule -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Rule] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Rule) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Rule])
Pretty Rule Source #
Instance details Defined in Maude.Printing Methods pretty :: Rule -> Doc Source # pretties :: [Rule] -> Doc Source #
HasSorts Rule Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Rule -> SymbolSet Source # mapSorts :: SymbolMap -> Rule -> Rule Source #
HasOps Rule Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Rule -> SymbolSet Source # mapOps :: SymbolMap -> Rule -> Rule Source #
HasLabels Rule Source #
Instance details Defined in Maude.Meta.HasLabels Methods getLabels :: Rule -> SymbolSet Source # mapLabels :: SymbolMap -> Rule -> Rule Source #
type Rep Rule
Instance details Defined in Maude.ATC_Maude type Rep Rule = D1 ('MetaData "Rule" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "Rl" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Condition]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [StmntAttr]))))

data Condition Source #

Constructors

EqCond Term Term
MbCond Term Sort
MatchCond Term Term
RwCond Term Term

Instances

Instances details

Eq Condition Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Condition -> Condition -> Bool (/=) :: Condition -> Condition -> Bool
Data Condition Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Condition -> c Condition gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Condition toConstr :: Condition -> Constr dataTypeOf :: Condition -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Condition) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Condition) gmapT :: (forall b. Data b => b -> b) -> Condition -> Condition gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Condition -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Condition -> r gmapQ :: (forall d. Data d => d -> u) -> Condition -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Condition -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Condition -> m Condition gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Condition -> m Condition gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Condition -> m Condition
Ord Condition Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Condition -> Condition -> Ordering (<) :: Condition -> Condition -> Bool (<=) :: Condition -> Condition -> Bool (>) :: Condition -> Condition -> Bool (>=) :: Condition -> Condition -> Bool max :: Condition -> Condition -> Condition min :: Condition -> Condition -> Condition
Read Condition Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Condition readList :: ReadS [Condition] readPrec :: ReadPrec Condition readListPrec :: ReadPrec [Condition]
Show Condition Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Condition -> ShowS show :: Condition -> String showList :: [Condition] -> ShowS
Generic Condition
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Condition :: Type -> Type Methods from :: Condition -> Rep Condition x to :: Rep Condition x -> Condition
FromJSON Condition
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Condition parseJSONList :: Value -> Parser [Condition]
ToJSON Condition
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Condition -> Value toEncoding :: Condition -> Encoding toJSONList :: [Condition] -> Value toEncodingList :: [Condition] -> Encoding
ShATermConvertible Condition
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Condition -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Condition] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Condition) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Condition])
Pretty Condition Source #
Instance details Defined in Maude.Printing Methods pretty :: Condition -> Doc Source # pretties :: [Condition] -> Doc Source #
HasSorts Condition Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Condition -> SymbolSet Source # mapSorts :: SymbolMap -> Condition -> Condition Source #
HasOps Condition Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Condition -> SymbolSet Source # mapOps :: SymbolMap -> Condition -> Condition Source #
type Rep Condition
Instance details Defined in Maude.ATC_Maude type Rep Condition = D1 ('MetaData "Condition" "Maude.AS_Maude" "main" 'False) ((C1 ('MetaCons "EqCond" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term)) :+: C1 ('MetaCons "MbCond" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sort))) :+: (C1 ('MetaCons "MatchCond" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term)) :+: C1 ('MetaCons "RwCond" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term))))

data Attr Source #

Constructors

Assoc
Comm
Idem
Iter
Id Term
LeftId Term
RightId Term
Strat [Int]
Memo
Prec Int
Gather [Qid]
Format [Qid]
Ctor
Config
Object
Msg
Frozen [Int]
Poly [Int]
Special [Hook]

Instances

Instances details

Eq Attr Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Attr -> Attr -> Bool (/=) :: Attr -> Attr -> Bool
Data Attr Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attr -> c Attr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attr toConstr :: Attr -> Constr dataTypeOf :: Attr -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attr) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attr) gmapT :: (forall b. Data b => b -> b) -> Attr -> Attr gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attr -> r gmapQ :: (forall d. Data d => d -> u) -> Attr -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Attr -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attr -> m Attr gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attr -> m Attr
Ord Attr Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Attr -> Attr -> Ordering (<) :: Attr -> Attr -> Bool (<=) :: Attr -> Attr -> Bool (>) :: Attr -> Attr -> Bool (>=) :: Attr -> Attr -> Bool max :: Attr -> Attr -> Attr min :: Attr -> Attr -> Attr
Read Attr Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Attr readList :: ReadS [Attr] readPrec :: ReadPrec Attr readListPrec :: ReadPrec [Attr]
Show Attr Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Attr -> ShowS show :: Attr -> String showList :: [Attr] -> ShowS
Generic Attr
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Attr :: Type -> Type Methods from :: Attr -> Rep Attr x to :: Rep Attr x -> Attr
FromJSON Attr
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Attr parseJSONList :: Value -> Parser [Attr]
ToJSON Attr
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Attr -> Value toEncoding :: Attr -> Encoding toJSONList :: [Attr] -> Value toEncodingList :: [Attr] -> Encoding
ShATermConvertible Attr
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Attr -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Attr] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Attr) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Attr])
Pretty Attr Source #
Instance details Defined in Maude.Printing Methods pretty :: Attr -> Doc Source # pretties :: [Attr] -> Doc Source #
HasSorts Attr Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Attr -> SymbolSet Source # mapSorts :: SymbolMap -> Attr -> Attr Source #
HasOps Attr Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Attr -> SymbolSet Source # mapOps :: SymbolMap -> Attr -> Attr Source #
type Rep Attr
Instance details Defined in Maude.ATC_Maude type Rep Attr = D1 ('MetaData "Attr" "Maude.AS_Maude" "main" 'False) ((((C1 ('MetaCons "Assoc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Comm" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Idem" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Iter" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Id" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term)) :+: C1 ('MetaCons "LeftId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term))) :+: (C1 ('MetaCons "RightId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term)) :+: (C1 ('MetaCons "Strat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])) :+: C1 ('MetaCons "Memo" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Prec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "Gather" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Qid]))) :+: (C1 ('MetaCons "Format" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Qid])) :+: (C1 ('MetaCons "Ctor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Config" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Object" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Msg" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Frozen" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])) :+: (C1 ('MetaCons "Poly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])) :+: C1 ('MetaCons "Special" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Hook])))))))

data StmntAttr Source #

Constructors

Label Qid
Metadata String
Owise
Nonexec
Print [Qid]

Instances

Instances details

Eq StmntAttr Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: StmntAttr -> StmntAttr -> Bool (/=) :: StmntAttr -> StmntAttr -> Bool
Data StmntAttr Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StmntAttr -> c StmntAttr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StmntAttr toConstr :: StmntAttr -> Constr dataTypeOf :: StmntAttr -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c StmntAttr) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StmntAttr) gmapT :: (forall b. Data b => b -> b) -> StmntAttr -> StmntAttr gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StmntAttr -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StmntAttr -> r gmapQ :: (forall d. Data d => d -> u) -> StmntAttr -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> StmntAttr -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> StmntAttr -> m StmntAttr gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StmntAttr -> m StmntAttr gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StmntAttr -> m StmntAttr
Ord StmntAttr Source #
Instance details Defined in Maude.AS_Maude Methods compare :: StmntAttr -> StmntAttr -> Ordering (<) :: StmntAttr -> StmntAttr -> Bool (<=) :: StmntAttr -> StmntAttr -> Bool (>) :: StmntAttr -> StmntAttr -> Bool (>=) :: StmntAttr -> StmntAttr -> Bool max :: StmntAttr -> StmntAttr -> StmntAttr min :: StmntAttr -> StmntAttr -> StmntAttr
Read StmntAttr Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS StmntAttr readList :: ReadS [StmntAttr] readPrec :: ReadPrec StmntAttr readListPrec :: ReadPrec [StmntAttr]
Show StmntAttr Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> StmntAttr -> ShowS show :: StmntAttr -> String showList :: [StmntAttr] -> ShowS
Generic StmntAttr
Instance details Defined in Maude.ATC_Maude Associated Types type Rep StmntAttr :: Type -> Type Methods from :: StmntAttr -> Rep StmntAttr x to :: Rep StmntAttr x -> StmntAttr
FromJSON StmntAttr
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser StmntAttr parseJSONList :: Value -> Parser [StmntAttr]
ToJSON StmntAttr
Instance details Defined in Maude.ATC_Maude Methods toJSON :: StmntAttr -> Value toEncoding :: StmntAttr -> Encoding toJSONList :: [StmntAttr] -> Value toEncodingList :: [StmntAttr] -> Encoding
ShATermConvertible StmntAttr
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> StmntAttr -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [StmntAttr] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, StmntAttr) fromShATermList' :: Int -> ATermTable -> (ATermTable, [StmntAttr])
Pretty StmntAttr Source #
Instance details Defined in Maude.Printing Methods pretty :: StmntAttr -> Doc Source # pretties :: [StmntAttr] -> Doc Source #
AsSymbol StmntAttr Source #
Instance details Defined in Maude.Meta.AsSymbol Methods asSymbol :: StmntAttr -> Symbol Source # asSymbolMaybe :: StmntAttr -> Maybe Symbol Source #
HasLabels StmntAttr Source #
Instance details Defined in Maude.Meta.HasLabels Methods getLabels :: StmntAttr -> SymbolSet Source # mapLabels :: SymbolMap -> StmntAttr -> StmntAttr Source #
type Rep StmntAttr
Instance details Defined in Maude.ATC_Maude type Rep StmntAttr = D1 ('MetaData "StmntAttr" "Maude.AS_Maude" "main" 'False) ((C1 ('MetaCons "Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid)) :+: C1 ('MetaCons "Metadata" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "Owise" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Nonexec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Print" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Qid])))))

data Hook Source #

Constructors

IdHook Qid [Qid]
OpHook Qid Qid [Qid] Qid
TermHook Qid Term

Instances

Instances details

Eq Hook Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Hook -> Hook -> Bool (/=) :: Hook -> Hook -> Bool
Data Hook Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Hook -> c Hook gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Hook toConstr :: Hook -> Constr dataTypeOf :: Hook -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Hook) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Hook) gmapT :: (forall b. Data b => b -> b) -> Hook -> Hook gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Hook -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Hook -> r gmapQ :: (forall d. Data d => d -> u) -> Hook -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Hook -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Hook -> m Hook gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Hook -> m Hook gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Hook -> m Hook
Ord Hook Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Hook -> Hook -> Ordering (<) :: Hook -> Hook -> Bool (<=) :: Hook -> Hook -> Bool (>) :: Hook -> Hook -> Bool (>=) :: Hook -> Hook -> Bool max :: Hook -> Hook -> Hook min :: Hook -> Hook -> Hook
Read Hook Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Hook readList :: ReadS [Hook] readPrec :: ReadPrec Hook readListPrec :: ReadPrec [Hook]
Show Hook Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Hook -> ShowS show :: Hook -> String showList :: [Hook] -> ShowS
Generic Hook
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Hook :: Type -> Type Methods from :: Hook -> Rep Hook x to :: Rep Hook x -> Hook
FromJSON Hook
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Hook parseJSONList :: Value -> Parser [Hook]
ToJSON Hook
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Hook -> Value toEncoding :: Hook -> Encoding toJSONList :: [Hook] -> Value toEncodingList :: [Hook] -> Encoding
ShATermConvertible Hook
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Hook -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Hook] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Hook) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Hook])
Pretty Hook Source #
Instance details Defined in Maude.Printing Methods pretty :: Hook -> Doc Source # pretties :: [Hook] -> Doc Source #
type Rep Hook
Instance details Defined in Maude.ATC_Maude type Rep Hook = D1 ('MetaData "Hook" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "IdHook" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Qid])) :+: (C1 ('MetaCons "OpHook" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Qid]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid))) :+: C1 ('MetaCons "TermHook" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term))))

data Term Source #

Constructors

Const Qid Type
Var Qid Type
Apply Qid [Term] Type

Instances

Instances details

Eq Term Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Term -> Term -> Bool (/=) :: Term -> Term -> Bool
Data Term Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Term -> c Term gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Term toConstr :: Term -> Constr dataTypeOf :: Term -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Term) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Term) gmapT :: (forall b. Data b => b -> b) -> Term -> Term gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Term -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Term -> r gmapQ :: (forall d. Data d => d -> u) -> Term -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Term -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Term -> m Term gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Term -> m Term gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Term -> m Term
Ord Term Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Term -> Term -> Ordering (<) :: Term -> Term -> Bool (<=) :: Term -> Term -> Bool (>) :: Term -> Term -> Bool (>=) :: Term -> Term -> Bool max :: Term -> Term -> Term min :: Term -> Term -> Term
Read Term Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Term readList :: ReadS [Term] readPrec :: ReadPrec Term readListPrec :: ReadPrec [Term]
Show Term Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Term -> ShowS show :: Term -> String showList :: [Term] -> ShowS
Generic Term
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Term :: Type -> Type Methods from :: Term -> Rep Term x to :: Rep Term x -> Term
FromJSON Term
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Term parseJSONList :: Value -> Parser [Term]
ToJSON Term
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Term -> Value toEncoding :: Term -> Encoding toJSONList :: [Term] -> Value toEncodingList :: [Term] -> Encoding
ShATermConvertible Term
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Term -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Term] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Term) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Term])
Pretty Term Source #
Instance details Defined in Maude.Printing Methods pretty :: Term -> Doc Source # pretties :: [Term] -> Doc Source #
AsSymbol Term Source #
Instance details Defined in Maude.Meta.AsSymbol Methods asSymbol :: Term -> Symbol Source # asSymbolMaybe :: Term -> Maybe Symbol Source #
HasSorts Term Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Term -> SymbolSet Source # mapSorts :: SymbolMap -> Term -> Term Source #
HasOps Term Source #
Instance details Defined in Maude.Meta.HasOps Methods getOps :: Term -> SymbolSet Source # mapOps :: SymbolMap -> Term -> Term Source #
type Rep Term
Instance details Defined in Maude.ATC_Maude type Rep Term = D1 ('MetaData "Term" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "Const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: (C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "Apply" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Term]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))))

data Type Source #

Constructors

TypeSort Sort
TypeKind Kind

Instances

Instances details

Eq Type Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Type -> Type -> Bool (/=) :: Type -> Type -> Bool
Data Type Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type toConstr :: Type -> Constr dataTypeOf :: Type -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) gmapT :: (forall b. Data b => b -> b) -> Type -> Type gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type
Ord Type Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Type -> Type -> Ordering (<) :: Type -> Type -> Bool (<=) :: Type -> Type -> Bool (>) :: Type -> Type -> Bool (>=) :: Type -> Type -> Bool max :: Type -> Type -> Type min :: Type -> Type -> Type
Read Type Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Type readList :: ReadS [Type] readPrec :: ReadPrec Type readListPrec :: ReadPrec [Type]
Show Type Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Type -> ShowS show :: Type -> String showList :: [Type] -> ShowS
Generic Type
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Type :: Type -> Type Methods from :: Type -> Rep Type x to :: Rep Type x -> Type
FromJSON Type
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Type parseJSONList :: Value -> Parser [Type]
ToJSON Type
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Type -> Value toEncoding :: Type -> Encoding toJSONList :: [Type] -> Value toEncodingList :: [Type] -> Encoding
ShATermConvertible Type
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Type -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Type] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Type) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Type])
Pretty Type Source #
Instance details Defined in Maude.Printing Methods pretty :: Type -> Doc Source # pretties :: [Type] -> Doc Source #
HasName Type Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: Type -> Qid Source # mapName :: (Qid -> Qid) -> Type -> Type Source #
AsSymbol Type Source #
Instance details Defined in Maude.Meta.AsSymbol Methods asSymbol :: Type -> Symbol Source # asSymbolMaybe :: Type -> Maybe Symbol Source #
HasSorts Type Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Type -> SymbolSet Source # mapSorts :: SymbolMap -> Type -> Type Source #
type Rep Type
Instance details Defined in Maude.ATC_Maude type Rep Type = D1 ('MetaData "Type" "Maude.AS_Maude" "main" 'False) (C1 ('MetaCons "TypeSort" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Sort)) :+: C1 ('MetaCons "TypeKind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind)))

newtype Sort Source #

Constructors

SortId Qid

Instances

Instances details

Eq Sort Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Sort -> Sort -> Bool (/=) :: Sort -> Sort -> Bool
Data Sort Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sort -> c Sort gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Sort toConstr :: Sort -> Constr dataTypeOf :: Sort -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Sort) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Sort) gmapT :: (forall b. Data b => b -> b) -> Sort -> Sort gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sort -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sort -> r gmapQ :: (forall d. Data d => d -> u) -> Sort -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Sort -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sort -> m Sort gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sort -> m Sort gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sort -> m Sort
Ord Sort Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Sort -> Sort -> Ordering (<) :: Sort -> Sort -> Bool (<=) :: Sort -> Sort -> Bool (>) :: Sort -> Sort -> Bool (>=) :: Sort -> Sort -> Bool max :: Sort -> Sort -> Sort min :: Sort -> Sort -> Sort
Read Sort Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Sort readList :: ReadS [Sort] readPrec :: ReadPrec Sort readListPrec :: ReadPrec [Sort]
Show Sort Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Sort -> ShowS show :: Sort -> String showList :: [Sort] -> ShowS
Generic Sort
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Sort :: Type -> Type Methods from :: Sort -> Rep Sort x to :: Rep Sort x -> Sort
FromJSON Sort
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Sort parseJSONList :: Value -> Parser [Sort]
ToJSON Sort
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Sort -> Value toEncoding :: Sort -> Encoding toJSONList :: [Sort] -> Value toEncodingList :: [Sort] -> Encoding
ShATermConvertible Sort
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Sort -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sort] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sort) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sort])
Pretty Sort Source #
Instance details Defined in Maude.Printing Methods pretty :: Sort -> Doc Source # pretties :: [Sort] -> Doc Source #
HasName Sort Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: Sort -> Qid Source # mapName :: (Qid -> Qid) -> Sort -> Sort Source #
AsSymbol Sort Source #
Instance details Defined in Maude.Meta.AsSymbol Methods asSymbol :: Sort -> Symbol Source # asSymbolMaybe :: Sort -> Maybe Symbol Source #
HasSorts Sort Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Sort -> SymbolSet Source # mapSorts :: SymbolMap -> Sort -> Sort Source #
type Rep Sort
Instance details Defined in Maude.ATC_Maude type Rep Sort = D1 ('MetaData "Sort" "Maude.AS_Maude" "main" 'True) (C1 ('MetaCons "SortId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid)))

newtype Kind Source #

Constructors

KindId Qid

Instances

Instances details

Eq Kind Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: Kind -> Kind -> Bool (/=) :: Kind -> Kind -> Bool
Data Kind Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Kind -> c Kind gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Kind toConstr :: Kind -> Constr dataTypeOf :: Kind -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Kind) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Kind) gmapT :: (forall b. Data b => b -> b) -> Kind -> Kind gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Kind -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Kind -> r gmapQ :: (forall d. Data d => d -> u) -> Kind -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Kind -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Kind -> m Kind gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Kind -> m Kind gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Kind -> m Kind
Ord Kind Source #
Instance details Defined in Maude.AS_Maude Methods compare :: Kind -> Kind -> Ordering (<) :: Kind -> Kind -> Bool (<=) :: Kind -> Kind -> Bool (>) :: Kind -> Kind -> Bool (>=) :: Kind -> Kind -> Bool max :: Kind -> Kind -> Kind min :: Kind -> Kind -> Kind
Read Kind Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS Kind readList :: ReadS [Kind] readPrec :: ReadPrec Kind readListPrec :: ReadPrec [Kind]
Show Kind Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> Kind -> ShowS show :: Kind -> String showList :: [Kind] -> ShowS
Generic Kind
Instance details Defined in Maude.ATC_Maude Associated Types type Rep Kind :: Type -> Type Methods from :: Kind -> Rep Kind x to :: Rep Kind x -> Kind
FromJSON Kind
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser Kind parseJSONList :: Value -> Parser [Kind]
ToJSON Kind
Instance details Defined in Maude.ATC_Maude Methods toJSON :: Kind -> Value toEncoding :: Kind -> Encoding toJSONList :: [Kind] -> Value toEncodingList :: [Kind] -> Encoding
ShATermConvertible Kind
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> Kind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Kind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Kind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Kind])
Pretty Kind Source #
Instance details Defined in Maude.Printing Methods pretty :: Kind -> Doc Source # pretties :: [Kind] -> Doc Source #
HasName Kind Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: Kind -> Qid Source # mapName :: (Qid -> Qid) -> Kind -> Kind Source #
AsSymbol Kind Source #
Instance details Defined in Maude.Meta.AsSymbol Methods asSymbol :: Kind -> Symbol Source # asSymbolMaybe :: Kind -> Maybe Symbol Source #
HasSorts Kind Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Kind -> SymbolSet Source # mapSorts :: SymbolMap -> Kind -> Kind Source #
type Rep Kind
Instance details Defined in Maude.ATC_Maude type Rep Kind = D1 ('MetaData "Kind" "Maude.AS_Maude" "main" 'True) (C1 ('MetaCons "KindId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid)))

newtype ParamId Source #

Constructors

ParamId Qid

Instances

Instances details

Eq ParamId Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: ParamId -> ParamId -> Bool (/=) :: ParamId -> ParamId -> Bool
Data ParamId Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParamId -> c ParamId gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ParamId toConstr :: ParamId -> Constr dataTypeOf :: ParamId -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ParamId) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ParamId) gmapT :: (forall b. Data b => b -> b) -> ParamId -> ParamId gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParamId -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParamId -> r gmapQ :: (forall d. Data d => d -> u) -> ParamId -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ParamId -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParamId -> m ParamId gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamId -> m ParamId gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParamId -> m ParamId
Ord ParamId Source #
Instance details Defined in Maude.AS_Maude Methods compare :: ParamId -> ParamId -> Ordering (<) :: ParamId -> ParamId -> Bool (<=) :: ParamId -> ParamId -> Bool (>) :: ParamId -> ParamId -> Bool (>=) :: ParamId -> ParamId -> Bool max :: ParamId -> ParamId -> ParamId min :: ParamId -> ParamId -> ParamId
Read ParamId Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS ParamId readList :: ReadS [ParamId] readPrec :: ReadPrec ParamId readListPrec :: ReadPrec [ParamId]
Show ParamId Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> ParamId -> ShowS show :: ParamId -> String showList :: [ParamId] -> ShowS
Generic ParamId
Instance details Defined in Maude.ATC_Maude Associated Types type Rep ParamId :: Type -> Type Methods from :: ParamId -> Rep ParamId x to :: Rep ParamId x -> ParamId
FromJSON ParamId
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser ParamId parseJSONList :: Value -> Parser [ParamId]
ToJSON ParamId
Instance details Defined in Maude.ATC_Maude Methods toJSON :: ParamId -> Value toEncoding :: ParamId -> Encoding toJSONList :: [ParamId] -> Value toEncodingList :: [ParamId] -> Encoding
ShATermConvertible ParamId
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> ParamId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ParamId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ParamId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ParamId])
Pretty ParamId Source #
Instance details Defined in Maude.Printing Methods pretty :: ParamId -> Doc Source # pretties :: [ParamId] -> Doc Source #
HasName ParamId Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: ParamId -> Qid Source # mapName :: (Qid -> Qid) -> ParamId -> ParamId Source #
type Rep ParamId
Instance details Defined in Maude.ATC_Maude type Rep ParamId = D1 ('MetaData "ParamId" "Maude.AS_Maude" "main" 'True) (C1 ('MetaCons "ParamId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid)))

newtype ViewId Source #

Constructors

ViewId Qid

Instances

Instances details

Eq ViewId Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: ViewId -> ViewId -> Bool (/=) :: ViewId -> ViewId -> Bool
Data ViewId Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ViewId -> c ViewId gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ViewId toConstr :: ViewId -> Constr dataTypeOf :: ViewId -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ViewId) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ViewId) gmapT :: (forall b. Data b => b -> b) -> ViewId -> ViewId gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ViewId -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ViewId -> r gmapQ :: (forall d. Data d => d -> u) -> ViewId -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ViewId -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ViewId -> m ViewId gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ViewId -> m ViewId gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ViewId -> m ViewId
Ord ViewId Source #
Instance details Defined in Maude.AS_Maude Methods compare :: ViewId -> ViewId -> Ordering (<) :: ViewId -> ViewId -> Bool (<=) :: ViewId -> ViewId -> Bool (>) :: ViewId -> ViewId -> Bool (>=) :: ViewId -> ViewId -> Bool max :: ViewId -> ViewId -> ViewId min :: ViewId -> ViewId -> ViewId
Read ViewId Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS ViewId readList :: ReadS [ViewId] readPrec :: ReadPrec ViewId readListPrec :: ReadPrec [ViewId]
Show ViewId Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> ViewId -> ShowS show :: ViewId -> String showList :: [ViewId] -> ShowS
Generic ViewId
Instance details Defined in Maude.ATC_Maude Associated Types type Rep ViewId :: Type -> Type Methods from :: ViewId -> Rep ViewId x to :: Rep ViewId x -> ViewId
FromJSON ViewId
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser ViewId parseJSONList :: Value -> Parser [ViewId]
ToJSON ViewId
Instance details Defined in Maude.ATC_Maude Methods toJSON :: ViewId -> Value toEncoding :: ViewId -> Encoding toJSONList :: [ViewId] -> Value toEncodingList :: [ViewId] -> Encoding
ShATermConvertible ViewId
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> ViewId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ViewId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ViewId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ViewId])
Pretty ViewId Source #
Instance details Defined in Maude.Printing Methods pretty :: ViewId -> Doc Source # pretties :: [ViewId] -> Doc Source #
HasName ViewId Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: ViewId -> Qid Source # mapName :: (Qid -> Qid) -> ViewId -> ViewId Source #
type Rep ViewId
Instance details Defined in Maude.ATC_Maude type Rep ViewId = D1 ('MetaData "ViewId" "Maude.AS_Maude" "main" 'True) (C1 ('MetaCons "ViewId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid)))

newtype ModId Source #

Constructors

ModId Qid

Instances

Instances details

Eq ModId Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: ModId -> ModId -> Bool (/=) :: ModId -> ModId -> Bool
Data ModId Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModId -> c ModId gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModId toConstr :: ModId -> Constr dataTypeOf :: ModId -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModId) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModId) gmapT :: (forall b. Data b => b -> b) -> ModId -> ModId gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModId -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModId -> r gmapQ :: (forall d. Data d => d -> u) -> ModId -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ModId -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModId -> m ModId gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModId -> m ModId gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModId -> m ModId
Ord ModId Source #
Instance details Defined in Maude.AS_Maude Methods compare :: ModId -> ModId -> Ordering (<) :: ModId -> ModId -> Bool (<=) :: ModId -> ModId -> Bool (>) :: ModId -> ModId -> Bool (>=) :: ModId -> ModId -> Bool max :: ModId -> ModId -> ModId min :: ModId -> ModId -> ModId
Read ModId Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS ModId readList :: ReadS [ModId] readPrec :: ReadPrec ModId readListPrec :: ReadPrec [ModId]
Show ModId Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> ModId -> ShowS show :: ModId -> String showList :: [ModId] -> ShowS
Generic ModId
Instance details Defined in Maude.ATC_Maude Associated Types type Rep ModId :: Type -> Type Methods from :: ModId -> Rep ModId x to :: Rep ModId x -> ModId
FromJSON ModId
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser ModId parseJSONList :: Value -> Parser [ModId]
ToJSON ModId
Instance details Defined in Maude.ATC_Maude Methods toJSON :: ModId -> Value toEncoding :: ModId -> Encoding toJSONList :: [ModId] -> Value toEncodingList :: [ModId] -> Encoding
ShATermConvertible ModId
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> ModId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ModId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ModId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ModId])
Pretty ModId Source #
Instance details Defined in Maude.Printing Methods pretty :: ModId -> Doc Source # pretties :: [ModId] -> Doc Source #
HasName ModId Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: ModId -> Qid Source # mapName :: (Qid -> Qid) -> ModId -> ModId Source #
type Rep ModId
Instance details Defined in Maude.ATC_Maude type Rep ModId = D1 ('MetaData "ModId" "Maude.AS_Maude" "main" 'True) (C1 ('MetaCons "ModId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid)))

newtype LabelId Source #

Constructors

LabelId Qid

Instances

Instances details

Eq LabelId Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: LabelId -> LabelId -> Bool (/=) :: LabelId -> LabelId -> Bool
Data LabelId Source #
Instance details Defined in Maude.AS_Maude 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
Ord LabelId Source #
Instance details Defined in Maude.AS_Maude 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
Read LabelId Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS LabelId readList :: ReadS [LabelId] readPrec :: ReadPrec LabelId readListPrec :: ReadPrec [LabelId]
Show LabelId Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> LabelId -> ShowS show :: LabelId -> String showList :: [LabelId] -> ShowS
Generic LabelId
Instance details Defined in Maude.ATC_Maude Associated Types type Rep LabelId :: Type -> Type Methods from :: LabelId -> Rep LabelId x to :: Rep LabelId x -> LabelId
FromJSON LabelId
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser LabelId parseJSONList :: Value -> Parser [LabelId]
ToJSON LabelId
Instance details Defined in Maude.ATC_Maude Methods toJSON :: LabelId -> Value toEncoding :: LabelId -> Encoding toJSONList :: [LabelId] -> Value toEncodingList :: [LabelId] -> Encoding
ShATermConvertible LabelId
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> LabelId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [LabelId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, LabelId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [LabelId])
Pretty LabelId Source #
Instance details Defined in Maude.Printing Methods pretty :: LabelId -> Doc Source # pretties :: [LabelId] -> Doc Source #
HasName LabelId Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: LabelId -> Qid Source # mapName :: (Qid -> Qid) -> LabelId -> LabelId Source #
AsSymbol LabelId Source #
Instance details Defined in Maude.Meta.AsSymbol Methods asSymbol :: LabelId -> Symbol Source # asSymbolMaybe :: LabelId -> Maybe Symbol Source #
type Rep LabelId
Instance details Defined in Maude.ATC_Maude type Rep LabelId = D1 ('MetaData "LabelId" "Maude.AS_Maude" "main" 'True) (C1 ('MetaCons "LabelId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid)))

newtype OpId Source #

Constructors

OpId Qid

Instances

Instances details

Eq OpId Source #
Instance details Defined in Maude.AS_Maude Methods (==) :: OpId -> OpId -> Bool (/=) :: OpId -> OpId -> Bool
Data OpId Source #
Instance details Defined in Maude.AS_Maude Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OpId -> c OpId gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OpId toConstr :: OpId -> Constr dataTypeOf :: OpId -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OpId) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OpId) gmapT :: (forall b. Data b => b -> b) -> OpId -> OpId gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OpId -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OpId -> r gmapQ :: (forall d. Data d => d -> u) -> OpId -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> OpId -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> OpId -> m OpId gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OpId -> m OpId gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OpId -> m OpId
Ord OpId Source #
Instance details Defined in Maude.AS_Maude Methods compare :: OpId -> OpId -> Ordering (<) :: OpId -> OpId -> Bool (<=) :: OpId -> OpId -> Bool (>) :: OpId -> OpId -> Bool (>=) :: OpId -> OpId -> Bool max :: OpId -> OpId -> OpId min :: OpId -> OpId -> OpId
Read OpId Source #
Instance details Defined in Maude.AS_Maude Methods readsPrec :: Int -> ReadS OpId readList :: ReadS [OpId] readPrec :: ReadPrec OpId readListPrec :: ReadPrec [OpId]
Show OpId Source #
Instance details Defined in Maude.AS_Maude Methods showsPrec :: Int -> OpId -> ShowS show :: OpId -> String showList :: [OpId] -> ShowS
Generic OpId
Instance details Defined in Maude.ATC_Maude Associated Types type Rep OpId :: Type -> Type Methods from :: OpId -> Rep OpId x to :: Rep OpId x -> OpId
FromJSON OpId
Instance details Defined in Maude.ATC_Maude Methods parseJSON :: Value -> Parser OpId parseJSONList :: Value -> Parser [OpId]
ToJSON OpId
Instance details Defined in Maude.ATC_Maude Methods toJSON :: OpId -> Value toEncoding :: OpId -> Encoding toJSONList :: [OpId] -> Value toEncodingList :: [OpId] -> Encoding
ShATermConvertible OpId
Instance details Defined in Maude.ATC_Maude Methods toShATermAux :: ATermTable -> OpId -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [OpId] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, OpId) fromShATermList' :: Int -> ATermTable -> (ATermTable, [OpId])
Pretty OpId Source #
Instance details Defined in Maude.Printing Methods pretty :: OpId -> Doc Source # pretties :: [OpId] -> Doc Source #
HasName OpId Source #
Instance details Defined in Maude.Meta.HasName Methods getName :: OpId -> Qid Source # mapName :: (Qid -> Qid) -> OpId -> OpId Source #
AsSymbol OpId Source #
Instance details Defined in Maude.Meta.AsSymbol Methods asSymbol :: OpId -> Symbol Source # asSymbolMaybe :: OpId -> Maybe Symbol Source #
type Rep OpId
Instance details Defined in Maude.ATC_Maude type Rep OpId = D1 ('MetaData "OpId" "Maude.AS_Maude" "main" 'True) (C1 ('MetaCons "OpId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Qid)))