Nixfmt.Types

Documentation

type Parser = Parsec Void Text

A megaparsec ParsecT specified for use with nixfmt.

type ParseErrorBundle = ParseErrorBundle Text Void

A megaparsec ParseErrorBundle specified for use with nixfmt.

data Trivium

Constructors

EmptyLine

LineComment Text

BlockComment [Text]

Instances

Show Trivium

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> Trivium -> ShowS

show :: Trivium -> String

showList :: [Trivium] -> ShowS

Eq Trivium

Defined in Nixfmt.Types

Methods

(==) :: Trivium -> Trivium -> Bool

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

Pretty Trivium

Defined in Nixfmt.Pretty

Methods

pretty :: Trivium -> Doc

Pretty [Trivium]

Defined in Nixfmt.Pretty

Methods

pretty :: [Trivium] -> Doc

type Trivia = [Trivium]

newtype TrailingComment

Constructors

TrailingComment Text

Instances

Show TrailingComment

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> TrailingComment -> ShowS

show :: TrailingComment -> String

showList :: [TrailingComment] -> ShowS

Eq TrailingComment

Defined in Nixfmt.Types

Methods

(==) :: TrailingComment -> TrailingComment -> Bool

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

Pretty TrailingComment

Defined in Nixfmt.Pretty

Methods

pretty :: TrailingComment -> Doc

data Ann a

Constructors

Ann a (Maybe TrailingComment) Trivia

Instances

Show a => Show (Ann a)

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> Ann a -> ShowS

show :: Ann a -> String

showList :: [Ann a] -> ShowS

Eq a => Eq (Ann a)

Equality of annotated syntax is defines as equality of their corresponding semantics, thus ignoring the annotations.

Defined in Nixfmt.Types

Methods

(==) :: Ann a -> Ann a -> Bool

(/=) :: Ann a -> Ann a -> Bool

Pretty a => Pretty (Ann a)

Defined in Nixfmt.Pretty

Methods

pretty :: Ann a -> Doc

type Leaf = Ann Token

data StringPart

Constructors

TextPart Text

Interpolation Leaf Expression Token

Instances

Show StringPart

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> StringPart -> ShowS

show :: StringPart -> String

showList :: [StringPart] -> ShowS

Eq StringPart

Defined in Nixfmt.Types

Methods

(==) :: StringPart -> StringPart -> Bool

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

Pretty StringPart

Defined in Nixfmt.Pretty

Methods

pretty :: StringPart -> Doc

Pretty [StringPart]

Defined in Nixfmt.Pretty

Methods

pretty :: [StringPart] -> Doc

Pretty [[StringPart]]

Defined in Nixfmt.Pretty

Methods

pretty :: [[StringPart]] -> Doc

type Path = Ann [StringPart]

type String = Ann [[StringPart]]

data SimpleSelector

Constructors

IDSelector Leaf

InterpolSelector (Ann StringPart)

StringSelector String

Instances

Show SimpleSelector

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> SimpleSelector -> ShowS

show :: SimpleSelector -> String

showList :: [SimpleSelector] -> ShowS

Eq SimpleSelector

Defined in Nixfmt.Types

Methods

(==) :: SimpleSelector -> SimpleSelector -> Bool

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

Pretty SimpleSelector

Defined in Nixfmt.Pretty

Methods

pretty :: SimpleSelector -> Doc

data Selector

Constructors

Selector (Maybe Leaf) SimpleSelector (Maybe (Leaf, Term))

Instances

Show Selector

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> Selector -> ShowS

show :: Selector -> String

showList :: [Selector] -> ShowS

Eq Selector

Defined in Nixfmt.Types

Methods

(==) :: Selector -> Selector -> Bool

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

Pretty Selector

Defined in Nixfmt.Pretty

Methods

pretty :: Selector -> Doc

data Binder

Constructors

Inherit Leaf (Maybe Term) [Leaf] Leaf

Assignment [Selector] Leaf Expression Leaf

Instances

Show Binder

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> Binder -> ShowS

show :: Binder -> String

showList :: [Binder] -> ShowS

Eq Binder

Defined in Nixfmt.Types

Methods

(==) :: Binder -> Binder -> Bool

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

Pretty Binder

Defined in Nixfmt.Pretty

Methods

pretty :: Binder -> Doc

data Term

Constructors

Token Leaf

String String

Path Path

List Leaf [Term] Leaf

Set (Maybe Leaf) Leaf [Binder] Leaf

Selection Term [Selector]

Parenthesized Leaf Expression Leaf

Instances

Show Term

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

Eq Term

Defined in Nixfmt.Types

Methods

(==) :: Term -> Term -> Bool

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

Pretty Term

Defined in Nixfmt.Pretty

Methods

pretty :: Term -> Doc

data ParamAttr

Constructors

ParamAttr Leaf (Maybe (Leaf, Expression)) (Maybe Leaf)

ParamEllipsis Leaf

Instances

Show ParamAttr

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> ParamAttr -> ShowS

show :: ParamAttr -> String

showList :: [ParamAttr] -> ShowS

Eq ParamAttr

Defined in Nixfmt.Types

Methods

(==) :: ParamAttr -> ParamAttr -> Bool

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

Pretty ParamAttr

Defined in Nixfmt.Pretty

Methods

pretty :: ParamAttr -> Doc

data Parameter

Constructors

IDParameter Leaf

SetParameter Leaf [ParamAttr] Leaf

ContextParameter Parameter Leaf Parameter

Instances

Show Parameter

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> Parameter -> ShowS

show :: Parameter -> String

showList :: [Parameter] -> ShowS

Eq Parameter

Defined in Nixfmt.Types

Methods

(==) :: Parameter -> Parameter -> Bool

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

Pretty Parameter

Defined in Nixfmt.Pretty

Methods

pretty :: Parameter -> Doc

data Expression

Constructors

Term Term

With Leaf Expression Leaf Expression

Let Leaf [Binder] Leaf Expression

Assert Leaf Expression Leaf Expression

If Leaf Expression Leaf Expression Leaf Expression

Abstraction Parameter Leaf Expression

Application Expression Expression

Operation Expression Leaf Expression

MemberCheck Expression Leaf [Selector]

Negation Leaf Expression

Inversion Leaf Expression

Instances

Show Expression

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

Eq Expression

Defined in Nixfmt.Types

Methods

(==) :: Expression -> Expression -> Bool

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

Pretty Expression

Defined in Nixfmt.Pretty

Methods

pretty :: Expression -> Doc

data File

Constructors

File Leaf Expression

Instances

Show File

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> File -> ShowS

show :: File -> String

showList :: [File] -> ShowS

Eq File

Defined in Nixfmt.Types

Methods

(==) :: File -> File -> Bool

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

Pretty File

Defined in Nixfmt.Pretty

Methods

pretty :: File -> Doc

data Token

Constructors

Integer Int

Float Double

Identifier Text

EnvPath Text

KAssert

KElse

KIf

KIn

KInherit

KLet

KOr

KRec

KThen

KWith

TBraceOpen

TBraceClose

TBrackOpen

TBrackClose

TInterOpen

TInterClose

TParenOpen

TParenClose

TAssign

TAt

TColon

TComma

TDot

TDoubleQuote

TDoubleSingleQuote

TEllipsis

TQuestion

TSemicolon

TConcat

TNegate

TUpdate

TPlus

TMinus

TMul

TDiv

TAnd

TOr

TEqual

TGreater

TGreaterEqual

TImplies

TLess

TLessEqual

TNot

TUnequal

SOF

Instances

Show Token

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

Eq Token

Defined in Nixfmt.Types

Methods

(==) :: Token -> Token -> Bool

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

Pretty Token

Defined in Nixfmt.Pretty

Methods

pretty :: Token -> Doc

Pretty [Token]

Defined in Nixfmt.Pretty

Methods

pretty :: [Token] -> Doc

data Fixity

Constructors

Prefix

InfixL

InfixN

InfixR

Postfix

Instances

Show Fixity

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> Fixity -> ShowS

show :: Fixity -> String

showList :: [Fixity] -> ShowS

Eq Fixity

Defined in Nixfmt.Types

Methods

(==) :: Fixity -> Fixity -> Bool

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

data Operator

Constructors

Op Fixity Token

Apply

Instances

Show Operator

Defined in Nixfmt.Types

Methods

showsPrec :: Int -> Operator -> ShowS

show :: Operator -> String

showList :: [Operator] -> ShowS

Eq Operator

Defined in Nixfmt.Types

Methods

(==) :: Operator -> Operator -> Bool

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

operators :: [[Operator]]

A list of lists of operators where lists that come first contain operators that bind more strongly.

tokenText :: Token -> Text