http_uri 1.0.1

This crate provides types for representing http uris and their invariants.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82

//! I define [`IsNormal`] predicate over `HttpUri`.

use std::marker::PhantomData;

use gdp_rs::{
    inference_rule::{
        AuthorizedInferenceRuleGhost, InferenceRule, Operation, PreservingTransformGhost,
    },
    predicate::{Predicate, PurePredicate, SyncEvaluablePredicate},
};

use super::is_absolute::IsAbsolute;
use crate::HttpUri;

/// A predicate about an [`HttpUri`] asserting that it is in normal form.
#[derive(Debug)]
pub struct IsNormal;

impl Predicate<HttpUri> for IsNormal {
    fn label() -> std::borrow::Cow<'static, str> {
        "IsNormal".into()
    }
}

impl PurePredicate<HttpUri> for IsNormal {}

impl SyncEvaluablePredicate<HttpUri> for IsNormal {
    type EvalError = NotANormalHttpUri;

    #[inline]
    fn evaluate_for(sub: &HttpUri) -> Result<(), Self::EvalError> {
        match sub.is_http_normalized() {
            true => Ok(()),
            false => Err(NotANormalHttpUri),
        }
    }
}

#[derive(Debug, Clone, thiserror::Error, PartialEq, Eq)]
/// Error of HttpUri being not a normal uri.
#[error("Given http uri is not in normal form")]
pub struct NotANormalHttpUri;

/// An inference rule, that infers normalized [`HttpUri`] from a given [`HttpUri`].
pub struct Normalization<SP> {
    _phantom: PhantomData<SP>,
}

/// A struct representing normalization transform over a subject [`HttpUri`].
#[derive(Debug, Default)]
pub struct NormalizationTransform;

impl Operation for NormalizationTransform {
    type Arg = HttpUri;

    type Result = HttpUri;

    #[inline]
    fn call(self, source_sub: Self::Arg) -> Self::Result {
        source_sub.http_normalized()
    }
}

impl<SP: Predicate<HttpUri>> InferenceRule for Normalization<SP> {
    type SourceSub = HttpUri;

    type SourcePredicate = SP;

    type TargetSub = HttpUri;

    type TargetPredicate = IsNormal;

    type SubjectTransform = NormalizationTransform;
}

impl<SP: Predicate<HttpUri>> AuthorizedInferenceRuleGhost<IsNormal, HttpUri>
    for PhantomData<Normalization<SP>>
{
}

// Normalization preserves `IsAbsolute` predicate.
impl PreservingTransformGhost<IsAbsolute, HttpUri> for PhantomData<NormalizationTransform> {}