Hydrogen.Syntax.Types

Documentation

type POPs a = [(SourcePos, POP a)]

data POP a where

Constructors

Token :: TokenType -> [Char] -> [Char] -> POP a

Block :: BlockType -> [Char] -> POPs a -> POP a

Value :: a -> String -> POP a

Instances

Eq a => Eq (POP a)

Show a => Show (POP a)

Generic (POP a)

Serialize a => Serialize (POP a)

Typeable (* -> *) POP

type Rep (POP a)

data TokenType where

Constructors

AposString :: TokenType

QuotString :: TokenType

TickString :: TokenType

SomethingT :: TokenType

Instances

Enum TokenType

Eq TokenType

Ord TokenType

Show TokenType

Generic TokenType

Serialize TokenType

Typeable * TokenType

type Rep TokenType

data BlockType where

Constructors

Grouping :: BlockType

Brackets :: BlockType

Mustache :: BlockType

Instances

Enum BlockType

Eq BlockType

Ord BlockType

Show BlockType

Generic BlockType

Serialize BlockType

Typeable * BlockType

type Rep BlockType

data Token where

Constructors

TSpecial :: Char -> Token

TBraceOpen :: [Char] -> Char -> Token

TBraceClose :: Char -> Token

TSomething :: [Char] -> Token

TIndent :: Int -> Token

TSpaces :: Token

TString :: [Char] -> Char -> [Char] -> Token

Instances

Eq Token

Ord Token

Show Token

Generic Token

Serialize Token

Typeable * Token

type Rep Token