Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Field
- data Value :: Field -> Type where
- ValueBracketNum :: BracketNum -> Value FieldBracketNum
- ValueHttpMethod :: StdMethod -> Value FieldHttpMethod
- ValueHttpStatus :: Status -> Value FieldHttpStatus
- ValueHttpVersion :: HttpVersion -> Value FieldHttpVersion
- ValueUrl :: Url -> Value FieldUrl
- ValueUserId :: UserId -> Value FieldUserId
- ValueObjSize :: ObjSize -> Value FieldObjSize
- ValueIp :: IPv4 -> Value FieldIp
- ValueTimestamp :: OffsetDatetime -> Value FieldTimestamp
- data SingField :: Field -> Type where
- SingBracketNum :: SingField FieldBracketNum
- SingHttpMethod :: SingField FieldHttpMethod
- SingHttpStatus :: SingField FieldHttpStatus
- SingHttpVersion :: SingField FieldHttpVersion
- SingUrl :: SingField FieldUrl
- SingUserId :: SingField FieldUserId
- SingObjSize :: SingField FieldObjSize
- SingIp :: SingField FieldIp
- SingTimestamp :: SingField FieldTimestamp
- data Rec k (a :: k -> Type) (b :: [k]) :: forall k. (k -> Type) -> [k] -> Type where
Documentation
Different types present in logs.
FieldBracketNum | Number that appears before many logs, in the form of "X" |
FieldHttpMethod | More explicit name for Network.HTTP.Types.Method |
FieldHttpStatus | More explicit name for Network.HTTP.Types.Status |
FieldHttpVersion | More explicit name for Network.HTTP.Types.Version |
FieldUrl | a url, e.g. "https://hackage.haskell.org" |
FieldUserId | userId as Text |
FieldObjSize | usually requested resource size |
FieldIp | FieldIp present in log |
FieldTimestamp | Timestamp |
data Value :: Field -> Type where Source #
ValueBracketNum :: BracketNum -> Value FieldBracketNum | |
ValueHttpMethod :: StdMethod -> Value FieldHttpMethod | |
ValueHttpStatus :: Status -> Value FieldHttpStatus | |
ValueHttpVersion :: HttpVersion -> Value FieldHttpVersion | |
ValueUrl :: Url -> Value FieldUrl | |
ValueUserId :: UserId -> Value FieldUserId | |
ValueObjSize :: ObjSize -> Value FieldObjSize | |
ValueIp :: IPv4 -> Value FieldIp | |
ValueTimestamp :: OffsetDatetime -> Value FieldTimestamp |
data SingField :: Field -> Type where Source #
data Rec k (a :: k -> Type) (b :: [k]) :: forall k. (k -> Type) -> [k] -> Type where #
TestCoercion k f => TestCoercion [k] (Rec k f) | |
TestEquality k f => TestEquality [k] (Rec k f) | |
EqForall k f => EqForall [k] (Rec k f) | |
OrdForall k f => OrdForall [k] (Rec k f) | |
ShowForall k f => ShowForall [k] (Rec k f) | |
HashableForall k f => HashableForall [k] (Rec k f) | |
ToJSONForall k f => ToJSONForall [k] (Rec k f) | |
FromJSONForall k f => FromJSONForall [k] (Rec k f) | |
FromJSONExists k f => FromJSONExists [k] (Rec k f) | |
SemigroupForall k f => SemigroupForall [k] (Rec k f) | |
StorableForall k f => StorableForall [k] (Rec k f) | |
MonoidForall k f => MonoidForall [k] (Rec k f) | |
EqForall k f => Eq (Rec k f as) | |
OrdForall k f => Ord (Rec k f as) | |
ShowForall k f => Show (Rec k f as) | |
SemigroupForall k f => Semigroup (Rec k f as) | |
(MonoidForall k f, Reify [k] as) => Monoid (Rec k f as) | |
HashableForall k f => Hashable (Rec k f as) | |
ToJSONForall k f => ToJSON (Rec k f as) | |
(FromJSONForall k f, Reify [k] as) => FromJSON (Rec k f as) | |
(StorableForall k f, Reify [k] as) => Storable (Rec k f as) | |