Hets - the Heterogeneous Tool Set
Copyright(c) DFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerariesco@fdi.ucm.es
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

Maude.AS_Maude

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

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

GetRange MaudeText Source # 
Instance details

Defined in Maude.AS_Maude

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

Syntax Maude MaudeText Symbol () () Source #

Instance of Syntax for Maude

Instance details

Defined in Maude.Logic_Maude

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

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 #

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 #

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 #

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

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

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

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 #

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 #

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

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

AsSymbol Operator Source # 
Instance details

Defined in Maude.Meta.AsSymbol

HasSorts Operator Source # 
Instance details

Defined in Maude.Meta.HasSorts

HasOps Operator Source # 
Instance details

Defined in Maude.Meta.HasOps

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

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

HasSorts Membership Source # 
Instance details

Defined in Maude.Meta.HasSorts

HasOps Membership Source # 
Instance details

Defined in Maude.Meta.HasOps

HasLabels Membership Source # 
Instance details

Defined in Maude.Meta.HasLabels

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

HasSorts Equation Source # 
Instance details

Defined in Maude.Meta.HasSorts

HasOps Equation Source # 
Instance details

Defined in Maude.Meta.HasOps

HasLabels Equation Source # 
Instance details

Defined in Maude.Meta.HasLabels

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

HasOps Rule Source # 
Instance details

Defined in Maude.Meta.HasOps

HasLabels Rule Source # 
Instance details

Defined in Maude.Meta.HasLabels

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 #

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

HasSorts Condition Source # 
Instance details

Defined in Maude.Meta.HasSorts

HasOps Condition Source # 
Instance details

Defined in Maude.Meta.HasOps

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

HasOps Attr Source # 
Instance details

Defined in Maude.Meta.HasOps

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

AsSymbol StmntAttr Source # 
Instance details

Defined in Maude.Meta.AsSymbol

HasLabels StmntAttr Source # 
Instance details

Defined in Maude.Meta.HasLabels

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

HasSorts Term Source # 
Instance details

Defined in Maude.Meta.HasSorts

HasOps Term Source # 
Instance details

Defined in Maude.Meta.HasOps

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

HasSorts Type Source # 
Instance details

Defined in Maude.Meta.HasSorts

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

HasSorts Sort Source # 
Instance details

Defined in Maude.Meta.HasSorts

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

HasSorts Kind Source # 
Instance details

Defined in Maude.Meta.HasSorts

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

HasName ParamId Source # 
Instance details

Defined in Maude.Meta.HasName

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

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

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

HasName LabelId Source # 
Instance details

Defined in Maude.Meta.HasName

AsSymbol LabelId Source # 
Instance details

Defined in Maude.Meta.AsSymbol

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

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)))

Construction

mkVar :: String -> Type -> Term Source #

Create a Var Term from the given arguments.

Information Extraction

getTermType :: Term -> Type Source #

Extract the Type from the given Term.

Attribute Classification

assoc :: Attr -> Bool Source #

True iff the argument is the assoc attribute.

comm :: Attr -> Bool Source #

True iff the argument is the comm attribute.

idem :: Attr -> Bool Source #

True iff the argument is the idem attribute.

idtty :: Attr -> Bool Source #

True iff the argument is the identity attribute.

leftId :: Attr -> Bool Source #

True iff the argument is the left identity attribute.

rightId :: Attr -> Bool Source #

True iff the argument is the right identity attribute.

ctor :: Attr -> Bool Source #

True iff the argument is the ctor attribute.

owise :: StmntAttr -> Bool Source #

True iff the argument is the owise attribute.