Safe Haskell	None
Language	Haskell2010

Data.OpenApi.Compare.Validate.PathFragment

Synopsis

parsePath :: FilePath -> [PathFragment Text]
data PathFragment param
- = StaticPath Text
- | DynamicPath param
type PathFragmentParam = PathFragment (Traced Param)

Documentation

parsePath :: FilePath -> [PathFragment Text] Source #

data PathFragment param Source #

Fragment parameterized by parameter. The dynamic part may be either reference to some parameter (in context of operation) or dereferenced parameter itself.

Constructors

StaticPath Text
DynamicPath param

Instances

Instances details

Functor PathFragment Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment Methods fmap :: (a -> b) -> PathFragment a -> PathFragment b # (<$) :: a -> PathFragment b -> PathFragment a #
Subtree PathFragmentParam Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment Associated Types type CheckEnv PathFragmentParam :: [Type] Source # type SubtreeLevel PathFragmentParam :: BehaviorLevel Source # Methods checkStructuralCompatibility :: HList (CheckEnv PathFragmentParam) -> ProdCons (Traced PathFragmentParam) -> StructuralCompatFormula () Source # checkSemanticCompatibility :: HList (CheckEnv PathFragmentParam) -> Behavior (SubtreeLevel PathFragmentParam) -> ProdCons (Traced PathFragmentParam) -> SemanticCompatFormula () Source #
Eq param => Eq (PathFragment param) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment Methods (==) :: PathFragment param -> PathFragment param -> Bool # (/=) :: PathFragment param -> PathFragment param -> Bool #
Ord param => Ord (PathFragment param) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment Methods compare :: PathFragment param -> PathFragment param -> Ordering # (<) :: PathFragment param -> PathFragment param -> Bool # (<=) :: PathFragment param -> PathFragment param -> Bool # (>) :: PathFragment param -> PathFragment param -> Bool # (>=) :: PathFragment param -> PathFragment param -> Bool # max :: PathFragment param -> PathFragment param -> PathFragment param # min :: PathFragment param -> PathFragment param -> PathFragment param #
Show param => Show (PathFragment param) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment Methods showsPrec :: Int -> PathFragment param -> ShowS # show :: PathFragment param -> String # showList :: [PathFragment param] -> ShowS #
Typeable param => Steppable (PathFragment param) Param Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment Associated Types data Step (PathFragment param) Param Source #
Eq (Step (PathFragment param) Param) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment Methods (==) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool # (/=) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool #
Ord (Step (PathFragment param) Param) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment Methods compare :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Ordering # (<) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool # (<=) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool # (>) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool # (>=) :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Bool # max :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Step (PathFragment param) Param # min :: Step (PathFragment param) Param -> Step (PathFragment param) Param -> Step (PathFragment param) Param #
Show (Step (PathFragment param) Param) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment Methods showsPrec :: Int -> Step (PathFragment param) Param -> ShowS # show :: Step (PathFragment param) Param -> String # showList :: [Step (PathFragment param) Param] -> ShowS #
type CheckEnv PathFragmentParam Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment type CheckEnv PathFragmentParam = '[ProdCons (Traced (Definitions Schema))]
type SubtreeLevel PathFragmentParam Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment type SubtreeLevel PathFragmentParam = 'PathFragmentLevel
data Step (PathFragment param) Param Source #
Instance details Defined in Data.OpenApi.Compare.Validate.PathFragment data Step (PathFragment param) Param = StaticPathParam Text

type PathFragmentParam = PathFragment (Traced Param) Source #