Language.REST.Rest

Documentation

rest :: forall m rule term oc rtype. (MonadIO m, RewriteRule m rule term, Hashable term, Eq term, Hashable rule, Hashable oc, Eq rule, Eq oc, Show oc, RESTResult rtype) => RESTParams m rule term oc rtype -> term -> m (rtype rule term oc, Maybe (Path rule term oc))

pathsResult :: PathsResult rule term oc

termsResult :: TermsResult rule term oc

terms :: (RESTResult a, Eq term, Hashable term) => a rule term oc -> HashSet term

newtype PathsResult rule term oc

Constructors

PathsResult (HashSet (Path rule term oc))

newtype WorkStrategy rule term oc

Constructors

WorkStrategy (forall m. GetWork m rule term oc)

data RESTParams m rule term oc rtype

Constructors

RESTParams

Fields

• re :: HashSet rule
• ru :: HashSet rule
• target :: Maybe term
• workStrategy :: WorkStrategy rule term oc
• ocImpl :: OCAlgebra oc term m
• initRes :: rtype rule term oc
• etStrategy :: ExploreStrategy