Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data NumberAbstract a
- data TypedNumber v a
- unsafeTypedNumber :: NumberAbstract v -> TypedNumber v a
- untypeNumber :: TypedNumber v a -> NumberAbstract v
- data Attribute' v = Attribute' !(NumberAbstract v) !ByteString
- data Attribute v a = Attribute !(TypedNumber v a) !a
- 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)
- class TypedNumberSets v where
Documentation
data NumberAbstract a Source #
Eq a => Eq (NumberAbstract a) Source # | |
Ord a => Ord (NumberAbstract a) Source # | |
Show a => Show (NumberAbstract a) Source # | |
data TypedNumber v a Source #
Eq v => Eq (TypedNumber v a) Source # | |
Ord v => Ord (TypedNumber v a) Source # | |
Show v => Show (TypedNumber v a) Source # | |
unsafeTypedNumber :: NumberAbstract v -> TypedNumber v a Source #
untypeNumber :: TypedNumber v a -> NumberAbstract v Source #
data Attribute' v Source #
Eq v => Eq (Attribute' v) Source # | |
Ord v => Ord (Attribute' v) Source # | |
Show v => Show (Attribute' v) Source # | |
Attribute !(TypedNumber v a) !a |
type TypedNumberSet v a = Set (TypedNumber v a) Source #
typed :: (Monad m, Functor m, Ord v) => TypedNumberSet v a -> (ByteString -> m b) -> Attribute' v -> MaybeT m (Attribute v b) Source #
Retryable error context with anthor attirbute value type MaybeT
m, and parse error context m.
class TypedNumberSets v where Source #