rest-rewrite-0.3.0: Rewriting library with online termination checking

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.Internal.Rewrite

Documentation

data Rewrite Source #

Constructors

Rewrite MetaTerm MetaTerm (Maybe String)

Instances

Instances details

Eq Rewrite Source #
Instance details Defined in Language.REST.Internal.Rewrite Methods (==) :: Rewrite -> Rewrite -> Bool # (/=) :: Rewrite -> Rewrite -> Bool #
Ord Rewrite Source #
Instance details Defined in Language.REST.Internal.Rewrite Methods compare :: Rewrite -> Rewrite -> Ordering # (<) :: Rewrite -> Rewrite -> Bool # (<=) :: Rewrite -> Rewrite -> Bool # (>) :: Rewrite -> Rewrite -> Bool # (>=) :: Rewrite -> Rewrite -> Bool # max :: Rewrite -> Rewrite -> Rewrite # min :: Rewrite -> Rewrite -> Rewrite #
Show Rewrite Source #
Instance details Defined in Language.REST.Internal.Rewrite Methods showsPrec :: Int -> Rewrite -> ShowS # show :: Rewrite -> String # showList :: [Rewrite] -> ShowS #
Generic Rewrite Source #
Instance details Defined in Language.REST.Internal.Rewrite Associated Types type Rep Rewrite :: Type -> Type # Methods from :: Rewrite -> Rep Rewrite x # to :: Rep Rewrite x -> Rewrite #
Hashable Rewrite Source #
Instance details Defined in Language.REST.Internal.Rewrite Methods hashWithSalt :: Int -> Rewrite -> Int # hash :: Rewrite -> Int #
Monad m => RewriteRule m Rewrite RuntimeTerm Source #
Instance details Defined in Language.REST.Internal.Rewrite Methods apply :: RuntimeTerm -> Rewrite -> m (HashSet RuntimeTerm) Source #
type Rep Rewrite Source #
Instance details Defined in Language.REST.Internal.Rewrite type Rep Rewrite = D1 ('MetaData "Rewrite" "Language.REST.Internal.Rewrite" "rest-rewrite-0.3.0-C58P8WPn3kHJiQCBn16Zwt" 'False) (C1 ('MetaCons "Rewrite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MetaTerm) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MetaTerm) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)))))

type Subst = HashMap String RuntimeTerm Source #

getName :: Rewrite -> Maybe String Source #

named :: Rewrite -> String -> Rewrite Source #

subst :: Subst -> MetaTerm -> RuntimeTerm Source #

unifyAll :: Subst -> [(MetaTerm, RuntimeTerm)] -> Maybe Subst Source #

unify :: MetaTerm -> RuntimeTerm -> Subst -> Maybe Subst Source #