Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data Step rule term a Source #
Step
represents an intermediate step in a Path
explored by REST
Instances
Generic (Step rule term a) Source # | |
(Eq term, Eq rule, Eq a) => Eq (Step rule term a) Source # | |
(Ord term, Ord rule, Ord a) => Ord (Step rule term a) Source # | |
Defined in Language.REST.Path compare :: Step rule term a -> Step rule term a -> Ordering # (<) :: Step rule term a -> Step rule term a -> Bool # (<=) :: Step rule term a -> Step rule term a -> Bool # (>) :: Step rule term a -> Step rule term a -> Bool # (>=) :: Step rule term a -> Step rule term a -> Bool # max :: Step rule term a -> Step rule term a -> Step rule term a # min :: Step rule term a -> Step rule term a -> Step rule term a # | |
(Hashable term, Hashable rule, Hashable a) => Hashable (Step rule term a) Source # | |
Defined in Language.REST.Path | |
type Rep (Step rule term a) Source # | |
Defined in Language.REST.Path type Rep (Step rule term a) = D1 ('MetaData "Step" "Language.REST.Path" "rest-rewrite-0.4.3-L4CHsmDzf4PMYNf7CqgfF" 'False) (C1 ('MetaCons "Step" 'PrefixI 'True) ((S1 ('MetaSel ('Just "term") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PathTerm rule term)) :*: S1 ('MetaSel ('Just "rule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 rule)) :*: (S1 ('MetaSel ('Just "ordering") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "fromPLE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) |
data PathTerm rule term Source #
PathTerm
is the term explored at a path
Instances
Generic (PathTerm rule term) Source # | |
(Eq term, Eq rule) => Eq (PathTerm rule term) Source # | |
(Ord term, Ord rule) => Ord (PathTerm rule term) Source # | |
Defined in Language.REST.Path compare :: PathTerm rule term -> PathTerm rule term -> Ordering # (<) :: PathTerm rule term -> PathTerm rule term -> Bool # (<=) :: PathTerm rule term -> PathTerm rule term -> Bool # (>) :: PathTerm rule term -> PathTerm rule term -> Bool # (>=) :: PathTerm rule term -> PathTerm rule term -> Bool # max :: PathTerm rule term -> PathTerm rule term -> PathTerm rule term # min :: PathTerm rule term -> PathTerm rule term -> PathTerm rule term # | |
(Hashable term, Hashable rule) => Hashable (PathTerm rule term) Source # | |
Defined in Language.REST.Path | |
type Rep (PathTerm rule term) Source # | |
Defined in Language.REST.Path type Rep (PathTerm rule term) = D1 ('MetaData "PathTerm" "Language.REST.Path" "rest-rewrite-0.4.3-L4CHsmDzf4PMYNf7CqgfF" 'False) (C1 ('MetaCons "PathTerm" 'PrefixI 'True) (S1 ('MetaSel ('Just "pathTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 term) :*: S1 ('MetaSel ('Just "rejected") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashSet (term, rule))))) |
type Path rule term a = ([Step rule term a], PathTerm rule term) Source #
A path explored by REST. The head of the 1st part of the tuple is the initial term. The 2nd part of the tuple is the last term.
runtimeTerm :: Path rule term a -> term Source #
Extracts the last (most recently generated) term