Boilerplate.Types

Documentation

data Marker

Constructors

Marker Text Int (Maybe Int)

^ config (start position) (end position)

Instances

Show Marker

Defined in Boilerplate.Types

Methods

showsPrec :: Int -> Marker -> ShowS

show :: Marker -> String

showList :: [Marker] -> ShowS

Eq Marker

Defined in Boilerplate.Types

Methods

(==) :: Marker -> Marker -> Bool

(/=) :: Marker -> Marker -> Bool

data Config

Constructors

Config Text [Text] [(Text, Custom)]

^ type [rule] [custom key, value]

ConfigStart

ConfigEnd

Instances

Show Config

Defined in Boilerplate.Types

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

Eq Config

Defined in Boilerplate.Types

Methods

(==) :: Config -> Config -> Bool

(/=) :: Config -> Config -> Bool

data Custom

Constructors

Global Text

^ available anywhere

Indexed [Text]

^ applies to ordered product fields

Named (Map Text Text)

^ applies to record fields and data constructors

NamedIndexed (Map Text [Text])

^ applies to ordered fields inside a sum type

Instances

Show Custom

Defined in Boilerplate.Types

Methods

showsPrec :: Int -> Custom -> ShowS

show :: Custom -> String

showList :: [Custom] -> ShowS

Eq Custom

Defined in Boilerplate.Types

Methods

(==) :: Custom -> Custom -> Bool

(/=) :: Custom -> Custom -> Bool

type Tree = [Atom]

newtype Rule

Constructors

Rule Tree

Instances

Show Rule

Defined in Boilerplate.Types

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

Eq Rule

Defined in Boilerplate.Types

Methods

(==) :: Rule -> Rule -> Bool

(/=) :: Rule -> Rule -> Bool

data Atom

Constructors

Raw Text

Type

TParams Tree Tree Tree Text Text

^ empty prefix elem sep suffix

TParam

Product Tree

^ elem

Sum Text Tree Text Text

^ prefix elem sep suffix

Uncons Int

^ id

Cons

Field Tree Tree Tree Text Text

^ empty prefix elem sep suffix

TyCase Tree Tree Tree

^ (type param) (higher kinded) (neither)

Param Int

^ id

FieldName

FieldType

Custom Text (Maybe Tree)

^ name fallback

Sugar Sugar

Instances

Show Atom

Defined in Boilerplate.Types

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

Eq Atom

Defined in Boilerplate.Types

Methods

(==) :: Atom -> Atom -> Bool

(/=) :: Atom -> Atom -> Bool

data Sugar

Constructors

Instance Text

Data Tree

Instances

Show Sugar

Defined in Boilerplate.Types

Methods

showsPrec :: Int -> Sugar -> ShowS

show :: Sugar -> String

showList :: [Sugar] -> ShowS

Eq Sugar

Defined in Boilerplate.Types

Methods

(==) :: Sugar -> Sugar -> Bool

(/=) :: Sugar -> Sugar -> Bool