Copyright	(c) Martin Kuehl Uni Bremen 2008-2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	mkhl@informatik.uni-bremen.de
Stability	experimental
Portability	portable
Safe Haskell	Safe

Maude.Meta.HasSorts

Contents

The HasSorts type class

Description

Accessing the Sorts of Maude data types.

Defines a type class HasSorts that lets us access the Sorts of Maude data types as SymbolSets.

Consider importing Maude.Meta instead of this module.

Synopsis

class HasSorts a where
- getSorts :: a -> SymbolSet
- mapSorts :: SymbolMap -> a -> a

The HasSorts type class

class HasSorts a where Source #

Represents something that contains a Set of Sorts (as Symbols).

Methods

getSorts :: a -> SymbolSet Source #

Extract the Sorts contained in the input.

mapSorts :: SymbolMap -> a -> a Source #

Map the Sorts contained in the input.

Instances

Instances details

HasSorts Kind Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Kind -> SymbolSet Source # mapSorts :: SymbolMap -> Kind -> Kind Source #
HasSorts Sort Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Sort -> SymbolSet Source # mapSorts :: SymbolMap -> Sort -> Sort Source #
HasSorts Type Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Type -> SymbolSet Source # mapSorts :: SymbolMap -> Type -> Type Source #
HasSorts Term Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Term -> SymbolSet Source # mapSorts :: SymbolMap -> Term -> Term Source #
HasSorts Attr Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Attr -> SymbolSet Source # mapSorts :: SymbolMap -> Attr -> Attr Source #
HasSorts Condition Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Condition -> SymbolSet Source # mapSorts :: SymbolMap -> Condition -> Condition Source #
HasSorts Rule Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Rule -> SymbolSet Source # mapSorts :: SymbolMap -> Rule -> Rule Source #
HasSorts Equation Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Equation -> SymbolSet Source # mapSorts :: SymbolMap -> Equation -> Equation Source #
HasSorts Membership Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Membership -> SymbolSet Source # mapSorts :: SymbolMap -> Membership -> Membership Source #
HasSorts Operator Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Operator -> SymbolSet Source # mapSorts :: SymbolMap -> Operator -> Operator Source #
HasSorts Symbol Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Symbol -> SymbolSet Source # mapSorts :: SymbolMap -> Symbol -> Symbol Source #
HasSorts Sentence Source #
Instance details Defined in Maude.Sentence Methods getSorts :: Sentence -> SymbolSet Source # mapSorts :: SymbolMap -> Sentence -> Sentence Source #
HasSorts Sign Source #
Instance details Defined in Maude.Sign Methods getSorts :: Sign -> SymbolSet Source # mapSorts :: SymbolMap -> Sign -> Sign Source #
HasSorts KindRel Source #
Instance details Defined in Maude.Sign Methods getSorts :: KindRel -> SymbolSet Source # mapSorts :: SymbolMap -> KindRel -> KindRel Source #
HasSorts a => HasSorts [a] Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: [a] -> SymbolSet Source # mapSorts :: SymbolMap -> [a] -> [a] Source #
(Ord a, HasSorts a) => HasSorts (Set a) Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Set a -> SymbolSet Source # mapSorts :: SymbolMap -> Set a -> Set a Source #
(Ord a, HasSorts a) => HasSorts (Rel a) Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Rel a -> SymbolSet Source # mapSorts :: SymbolMap -> Rel a -> Rel a Source #
(HasSorts a, HasSorts b) => HasSorts (a, b) Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: (a, b) -> SymbolSet Source # mapSorts :: SymbolMap -> (a, b) -> (a, b) Source #
(Ord a, HasSorts a) => HasSorts (Map k a) Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: Map k a -> SymbolSet Source # mapSorts :: SymbolMap -> Map k a -> Map k a Source #
(HasSorts a, HasSorts b, HasSorts c) => HasSorts (a, b, c) Source #
Instance details Defined in Maude.Meta.HasSorts Methods getSorts :: (a, b, c) -> SymbolSet Source # mapSorts :: SymbolMap -> (a, b, c) -> (a, b, c) Source #