Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- data Header where
- data HeaderType ty where
- FileEncoding :: HeaderType Text
- FileFormat :: HeaderType Int
- FileSorted :: HeaderType Int
- OutputMode :: HeaderType Text
- KindDescription :: HeaderType Text
- KindSeparator :: HeaderType Text
- ProgramAuthor :: HeaderType Text
- ProgramName :: HeaderType Text
- ProgramUrl :: HeaderType Text
- ProgramVersion :: HeaderType Text
- ExtraDescription :: HeaderType Text
- FieldDescription :: HeaderType Text
- PseudoTag :: Text -> HeaderType Text
- data SomeHeaderType where
- SomeHeaderType :: forall ty. HeaderType ty -> SomeHeaderType
- data SingHeaderType ty where
- headerTypeSing :: HeaderType ty -> SingHeaderType ty
Documentation
A type safe representation of a ctag header.
Header | |
|
data HeaderType ty where Source #
Enumeration of header type and values of their corresponding argument
Instances
Eq (HeaderType ty) Source # | |
Defined in GhcTags.CTag.Header (==) :: HeaderType ty -> HeaderType ty -> Bool # (/=) :: HeaderType ty -> HeaderType ty -> Bool # | |
Ord (HeaderType ty) Source # | |
Defined in GhcTags.CTag.Header compare :: HeaderType ty -> HeaderType ty -> Ordering # (<) :: HeaderType ty -> HeaderType ty -> Bool # (<=) :: HeaderType ty -> HeaderType ty -> Bool # (>) :: HeaderType ty -> HeaderType ty -> Bool # (>=) :: HeaderType ty -> HeaderType ty -> Bool # max :: HeaderType ty -> HeaderType ty -> HeaderType ty # min :: HeaderType ty -> HeaderType ty -> HeaderType ty # | |
Show (HeaderType ty) Source # | |
Defined in GhcTags.CTag.Header showsPrec :: Int -> HeaderType ty -> ShowS # show :: HeaderType ty -> String # showList :: [HeaderType ty] -> ShowS # |
data SomeHeaderType where Source #
Existential wrapper.
SomeHeaderType :: forall ty. HeaderType ty -> SomeHeaderType |
Utils
data SingHeaderType ty where Source #
Singletons which makes it easier to work with HeaderType
headerTypeSing :: HeaderType ty -> SingHeaderType ty Source #