Data.Radius.Attribute.Pair

Documentation

data NumberAbstract a

Constructors

Standard Number

Vendors a

Instances

Eq a => Eq (NumberAbstract a)

Methods

(==) :: NumberAbstract a -> NumberAbstract a -> Bool

(/=) :: NumberAbstract a -> NumberAbstract a -> Bool

Ord a => Ord (NumberAbstract a)

Methods

compare :: NumberAbstract a -> NumberAbstract a -> Ordering

(<) :: NumberAbstract a -> NumberAbstract a -> Bool

(<=) :: NumberAbstract a -> NumberAbstract a -> Bool

(>) :: NumberAbstract a -> NumberAbstract a -> Bool

(>=) :: NumberAbstract a -> NumberAbstract a -> Bool

max :: NumberAbstract a -> NumberAbstract a -> NumberAbstract a

min :: NumberAbstract a -> NumberAbstract a -> NumberAbstract a

Show a => Show (NumberAbstract a)

Methods

showsPrec :: Int -> NumberAbstract a -> ShowS

show :: NumberAbstract a -> String

showList :: [NumberAbstract a] -> ShowS

data TypedNumber v a

Instances

Eq v => Eq (TypedNumber v a)

Methods

(==) :: TypedNumber v a -> TypedNumber v a -> Bool

(/=) :: TypedNumber v a -> TypedNumber v a -> Bool

Ord v => Ord (TypedNumber v a)

Methods

compare :: TypedNumber v a -> TypedNumber v a -> Ordering

(<) :: TypedNumber v a -> TypedNumber v a -> Bool

(<=) :: TypedNumber v a -> TypedNumber v a -> Bool

(>) :: TypedNumber v a -> TypedNumber v a -> Bool

(>=) :: TypedNumber v a -> TypedNumber v a -> Bool

max :: TypedNumber v a -> TypedNumber v a -> TypedNumber v a

min :: TypedNumber v a -> TypedNumber v a -> TypedNumber v a

Show v => Show (TypedNumber v a)

Methods

showsPrec :: Int -> TypedNumber v a -> ShowS

show :: TypedNumber v a -> String

showList :: [TypedNumber v a] -> ShowS

unsafeTypedNumber :: NumberAbstract v -> TypedNumber v a

untypeNumber :: TypedNumber v a -> NumberAbstract v

data Attribute' v

Constructors

Attribute' !(NumberAbstract v) !ByteString

Instances

Eq v => Eq (Attribute' v)

Methods

(==) :: Attribute' v -> Attribute' v -> Bool

(/=) :: Attribute' v -> Attribute' v -> Bool

Ord v => Ord (Attribute' v)

Methods

compare :: Attribute' v -> Attribute' v -> Ordering

(<) :: Attribute' v -> Attribute' v -> Bool

(<=) :: Attribute' v -> Attribute' v -> Bool

(>) :: Attribute' v -> Attribute' v -> Bool

(>=) :: Attribute' v -> Attribute' v -> Bool

max :: Attribute' v -> Attribute' v -> Attribute' v

min :: Attribute' v -> Attribute' v -> Attribute' v

Show v => Show (Attribute' v)

Methods

showsPrec :: Int -> Attribute' v -> ShowS

show :: Attribute' v -> String

showList :: [Attribute' v] -> ShowS

data Attribute v a

Constructors

Attribute !(TypedNumber v a) !a

Instances

(Eq a, Eq v) => Eq (Attribute v a)

Methods

(==) :: Attribute v a -> Attribute v a -> Bool

(/=) :: Attribute v a -> Attribute v a -> Bool

(Ord a, Ord v) => Ord (Attribute v a)

Methods

compare :: Attribute v a -> Attribute v a -> Ordering

(<) :: Attribute v a -> Attribute v a -> Bool

(<=) :: Attribute v a -> Attribute v a -> Bool

(>) :: Attribute v a -> Attribute v a -> Bool

(>=) :: Attribute v a -> Attribute v a -> Bool

max :: Attribute v a -> Attribute v a -> Attribute v a

min :: Attribute v a -> Attribute v a -> Attribute v a

(Show a, Show v) => Show (Attribute v a)

Methods

showsPrec :: Int -> Attribute v a -> ShowS

show :: Attribute v a -> String

showList :: [Attribute v a] -> ShowS

value :: Attribute v a -> a

type TypedNumberSet v a = Set (TypedNumber v a)

typed :: (Monad m, Functor m, Ord v) => TypedNumberSet v a -> (ByteString -> m b) -> Attribute' v -> MaybeT m (Attribute v b)

Retryable error context with anthor attirbute value type MaybeT m, and parse error context m.

class TypedNumberSets v where

Minimal complete definition

attributeNumbersText, attributeNumbersString, attributeNumbersInteger, attributeNumbersIpV4

Methods

attributeNumbersText :: TypedNumberSet v AtText

attributeNumbersString :: TypedNumberSet v AtString

attributeNumbersInteger :: TypedNumberSet v AtInteger

attributeNumbersIpV4 :: TypedNumberSet v AtIpV4