Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Lsd.AST.Format

Synopsis

newtype FormatString a = FormatString [FormatAtom a]
data FormatAtom a
- = StringAtom String
- | PlaceholderAtom a
- | InsertedPlaceholderAtom a
type IdentifierFormat = FormatString EnumStyle
data EnumStyle
- = Arabic
- | AlphabeticLower
- | AlphabeticUpper
data HeadingFormat (permitIdentifier :: Bool) = HeadingFormat Typography (FormatString (HeadingPlaceholderAtom permitIdentifier))
data HeadingPlaceholderAtom (permitIdentifier :: Bool) where
- IdentifierPlaceholder :: HeadingPlaceholderAtom 'True
- HeadingTextPlaceholder :: forall (permitIdentifier :: Bool). HeadingPlaceholderAtom permitIdentifier
type MainHeadingFormat = HeadingFormat 'False
type InnerHeadingFormat = HeadingFormat 'True
type KeyFormat = FormatString KeyPlaceholderAtom
data KeyPlaceholderAtom = KeyIdentifierPlaceholder
newtype TocKeyFormat = TocKeyFormat KeyFormat
newtype EnumItemKeyFormat = EnumItemKeyFormat KeyFormat
newtype ParagraphKeyFormat = ParagraphKeyFormat KeyFormat

Documentation

newtype FormatString a Source #

Constructors

FormatString [FormatAtom a]

Instances

Instances details

Show a => Show (FormatString a) Source #
Instance details Defined in Language.Lsd.AST.Format Methods showsPrec :: Int -> FormatString a -> ShowS # show :: FormatString a -> String # showList :: [FormatString a] -> ShowS #
Eq a => Eq (FormatString a) Source #
Instance details Defined in Language.Lsd.AST.Format Methods (==) :: FormatString a -> FormatString a -> Bool # (/=) :: FormatString a -> FormatString a -> Bool #

data FormatAtom a Source #

Constructors

StringAtom String
PlaceholderAtom a
InsertedPlaceholderAtom a

Instances

Instances details

Show a => Show (FormatAtom a) Source #
Instance details Defined in Language.Lsd.AST.Format Methods showsPrec :: Int -> FormatAtom a -> ShowS # show :: FormatAtom a -> String # showList :: [FormatAtom a] -> ShowS #
Eq a => Eq (FormatAtom a) Source #
Instance details Defined in Language.Lsd.AST.Format Methods (==) :: FormatAtom a -> FormatAtom a -> Bool # (/=) :: FormatAtom a -> FormatAtom a -> Bool #

type IdentifierFormat = FormatString EnumStyle Source #

data EnumStyle Source #

Constructors

Arabic
AlphabeticLower
AlphabeticUpper

Instances

Instances details

Show EnumStyle Source #
Instance details Defined in Language.Lsd.AST.Format Methods showsPrec :: Int -> EnumStyle -> ShowS # show :: EnumStyle -> String # showList :: [EnumStyle] -> ShowS #
Eq EnumStyle Source #
Instance details Defined in Language.Lsd.AST.Format Methods (==) :: EnumStyle -> EnumStyle -> Bool # (/=) :: EnumStyle -> EnumStyle -> Bool #

data HeadingFormat (permitIdentifier :: Bool) Source #

The format of a heading. The boolean type parameter determines whether an identifier (placeholder) is permitted in the heading (format).

Constructors

HeadingFormat Typography (FormatString (HeadingPlaceholderAtom permitIdentifier))

Instances

Instances details

Show (HeadingFormat permitIdentifier) Source #
Instance details Defined in Language.Lsd.AST.Format Methods showsPrec :: Int -> HeadingFormat permitIdentifier -> ShowS # show :: HeadingFormat permitIdentifier -> String # showList :: [HeadingFormat permitIdentifier] -> ShowS #

data HeadingPlaceholderAtom (permitIdentifier :: Bool) where Source #

Constructors

IdentifierPlaceholder :: HeadingPlaceholderAtom 'True
HeadingTextPlaceholder :: forall (permitIdentifier :: Bool). HeadingPlaceholderAtom permitIdentifier

Instances

Instances details

Show (HeadingPlaceholderAtom a) Source #
Instance details Defined in Language.Lsd.AST.Format Methods showsPrec :: Int -> HeadingPlaceholderAtom a -> ShowS # show :: HeadingPlaceholderAtom a -> String # showList :: [HeadingPlaceholderAtom a] -> ShowS #

type MainHeadingFormat = HeadingFormat 'False Source #

Heading format without identifier placeholders.

type InnerHeadingFormat = HeadingFormat 'True Source #

Heading format with identifier placeholders.

type KeyFormat = FormatString KeyPlaceholderAtom Source #

data KeyPlaceholderAtom Source #

Constructors

KeyIdentifierPlaceholder

Instances

Instances details

Show KeyPlaceholderAtom Source #
Instance details Defined in Language.Lsd.AST.Format Methods showsPrec :: Int -> KeyPlaceholderAtom -> ShowS # show :: KeyPlaceholderAtom -> String # showList :: [KeyPlaceholderAtom] -> ShowS #
Eq KeyPlaceholderAtom Source #
Instance details Defined in Language.Lsd.AST.Format Methods (==) :: KeyPlaceholderAtom -> KeyPlaceholderAtom -> Bool # (/=) :: KeyPlaceholderAtom -> KeyPlaceholderAtom -> Bool #

newtype TocKeyFormat Source #

Constructors

TocKeyFormat KeyFormat

Instances

Instances details

Show TocKeyFormat Source #
Instance details Defined in Language.Lsd.AST.Format Methods showsPrec :: Int -> TocKeyFormat -> ShowS # show :: TocKeyFormat -> String # showList :: [TocKeyFormat] -> ShowS #

newtype EnumItemKeyFormat Source #

Constructors

EnumItemKeyFormat KeyFormat

Instances

Instances details

Show EnumItemKeyFormat Source #
Instance details Defined in Language.Lsd.AST.Format Methods showsPrec :: Int -> EnumItemKeyFormat -> ShowS # show :: EnumItemKeyFormat -> String # showList :: [EnumItemKeyFormat] -> ShowS #
Eq EnumItemKeyFormat Source #
Instance details Defined in Language.Lsd.AST.Format Methods (==) :: EnumItemKeyFormat -> EnumItemKeyFormat -> Bool # (/=) :: EnumItemKeyFormat -> EnumItemKeyFormat -> Bool #

newtype ParagraphKeyFormat Source #

Constructors

ParagraphKeyFormat KeyFormat

Instances

Instances details

Show ParagraphKeyFormat Source #
Instance details Defined in Language.Lsd.AST.Format Methods showsPrec :: Int -> ParagraphKeyFormat -> ShowS # show :: ParagraphKeyFormat -> String # showList :: [ParagraphKeyFormat] -> ShowS #