Safe Haskell	Safe-Inferred
Language	Haskell2010

Nixfmt.Types

Synopsis

type Parser = Parsec Void Text
type ParseErrorBundle = ParseErrorBundle Text Void
data Trivium
- = EmptyLine
- | LineComment Text
- | BlockComment [Text]
type Trivia = [Trivium]
newtype TrailingComment = TrailingComment Text
data Ann a = Ann a (Maybe TrailingComment) Trivia
type Leaf = Ann Token
data StringPart
- = TextPart Text
- | Interpolation Leaf Expression Token
type Path = Ann [StringPart]
type String = Ann [[StringPart]]
data SimpleSelector
- = IDSelector Leaf
- | InterpolSelector (Ann StringPart)
- | StringSelector String
data Selector = Selector (Maybe Leaf) SimpleSelector (Maybe (Leaf, Term))
data Binder
- = Inherit Leaf (Maybe Term) [Leaf] Leaf
- | Assignment [Selector] Leaf Expression Leaf
data Term
- = Token Leaf
- | String String
- | Path Path
- | List Leaf [Term] Leaf
- | Set (Maybe Leaf) Leaf [Binder] Leaf
- | Selection Term [Selector]
- | Parenthesized Leaf Expression Leaf
data ParamAttr
- = ParamAttr Leaf (Maybe (Leaf, Expression)) (Maybe Leaf)
- | ParamEllipsis Leaf
data Parameter
- = IDParameter Leaf
- | SetParameter Leaf [ParamAttr] Leaf
- | ContextParameter Parameter Leaf Parameter
data Expression
- = 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
data File = File Leaf Expression
data Token
- = 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
data Fixity
- = Prefix
- | InfixL
- | InfixN
- | InfixR
- | Postfix
data Operator
- = Op Fixity Token
- | Apply
operators :: [[Operator]]
tokenText :: Token -> Text

Documentation

type Parser = Parsec Void Text Source #

A megaparsec ParsecT specified for use with nixfmt.

type ParseErrorBundle = ParseErrorBundle Text Void Source #

A megaparsec ParseErrorBundle specified for use with nixfmt.

data Trivium Source #

Constructors

EmptyLine
LineComment Text
BlockComment [Text]

Instances

Instances details

Show Trivium Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> Trivium -> ShowS # show :: Trivium -> String # showList :: [Trivium] -> ShowS #
Eq Trivium Source #
Instance details Defined in Nixfmt.Types Methods (==) :: Trivium -> Trivium -> Bool # (/=) :: Trivium -> Trivium -> Bool #
Pretty Trivium Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: Trivium -> Doc Source #
Pretty [Trivium] Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: [Trivium] -> Doc Source #

type Trivia = [Trivium] Source #

newtype TrailingComment Source #

Constructors

TrailingComment Text

Instances

Instances details

Show TrailingComment Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> TrailingComment -> ShowS # show :: TrailingComment -> String # showList :: [TrailingComment] -> ShowS #
Eq TrailingComment Source #
Instance details Defined in Nixfmt.Types Methods (==) :: TrailingComment -> TrailingComment -> Bool # (/=) :: TrailingComment -> TrailingComment -> Bool #
Pretty TrailingComment Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: TrailingComment -> Doc Source #

data Ann a Source #

Constructors

Ann a (Maybe TrailingComment) Trivia

Instances

Instances details

Show a => Show (Ann a) Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> Ann a -> ShowS # show :: Ann a -> String # showList :: [Ann a] -> ShowS #
Eq a => Eq (Ann a) Source #	Equality of annotated syntax is defines as equality of their corresponding semantics, thus ignoring the annotations.
Instance details Defined in Nixfmt.Types Methods (==) :: Ann a -> Ann a -> Bool # (/=) :: Ann a -> Ann a -> Bool #
Pretty a => Pretty (Ann a) Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: Ann a -> Doc Source #

type Leaf = Ann Token Source #

data StringPart Source #

Constructors

TextPart Text
Interpolation Leaf Expression Token

Instances

Instances details

Show StringPart Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> StringPart -> ShowS # show :: StringPart -> String # showList :: [StringPart] -> ShowS #
Eq StringPart Source #
Instance details Defined in Nixfmt.Types Methods (==) :: StringPart -> StringPart -> Bool # (/=) :: StringPart -> StringPart -> Bool #
Pretty StringPart Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: StringPart -> Doc Source #
Pretty [StringPart] Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: [StringPart] -> Doc Source #
Pretty [[StringPart]] Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: [[StringPart]] -> Doc Source #

type Path = Ann [StringPart] Source #

type String = Ann [[StringPart]] Source #

data SimpleSelector Source #

Constructors

IDSelector Leaf
InterpolSelector (Ann StringPart)
StringSelector String

Instances

Instances details

Show SimpleSelector Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> SimpleSelector -> ShowS # show :: SimpleSelector -> String # showList :: [SimpleSelector] -> ShowS #
Eq SimpleSelector Source #
Instance details Defined in Nixfmt.Types Methods (==) :: SimpleSelector -> SimpleSelector -> Bool # (/=) :: SimpleSelector -> SimpleSelector -> Bool #
Pretty SimpleSelector Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: SimpleSelector -> Doc Source #

data Selector Source #

Constructors

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

Instances

Instances details

Show Selector Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> Selector -> ShowS # show :: Selector -> String # showList :: [Selector] -> ShowS #
Eq Selector Source #
Instance details Defined in Nixfmt.Types Methods (==) :: Selector -> Selector -> Bool # (/=) :: Selector -> Selector -> Bool #
Pretty Selector Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: Selector -> Doc Source #

data Binder Source #

Constructors

Inherit Leaf (Maybe Term) [Leaf] Leaf
Assignment [Selector] Leaf Expression Leaf

Instances

Instances details

Show Binder Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> Binder -> ShowS # show :: Binder -> String # showList :: [Binder] -> ShowS #
Eq Binder Source #
Instance details Defined in Nixfmt.Types Methods (==) :: Binder -> Binder -> Bool # (/=) :: Binder -> Binder -> Bool #
Pretty Binder Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: Binder -> Doc Source #

data Term Source #

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

Instances details

Show Term Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
Eq Term Source #
Instance details Defined in Nixfmt.Types Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #
Pretty Term Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: Term -> Doc Source #

data ParamAttr Source #

Constructors

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

Instances

Instances details

Show ParamAttr Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> ParamAttr -> ShowS # show :: ParamAttr -> String # showList :: [ParamAttr] -> ShowS #
Eq ParamAttr Source #
Instance details Defined in Nixfmt.Types Methods (==) :: ParamAttr -> ParamAttr -> Bool # (/=) :: ParamAttr -> ParamAttr -> Bool #
Pretty ParamAttr Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: ParamAttr -> Doc Source #

data Parameter Source #

Constructors

IDParameter Leaf
SetParameter Leaf [ParamAttr] Leaf
ContextParameter Parameter Leaf Parameter

Instances

Instances details

Show Parameter Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> Parameter -> ShowS # show :: Parameter -> String # showList :: [Parameter] -> ShowS #
Eq Parameter Source #
Instance details Defined in Nixfmt.Types Methods (==) :: Parameter -> Parameter -> Bool # (/=) :: Parameter -> Parameter -> Bool #
Pretty Parameter Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: Parameter -> Doc Source #

data Expression Source #

Instances

Instances details

Show Expression Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Eq Expression Source #
Instance details Defined in Nixfmt.Types Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Pretty Expression Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: Expression -> Doc Source #

data File Source #

Constructors

File Leaf Expression

Instances

Instances details

Show File Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> File -> ShowS # show :: File -> String # showList :: [File] -> ShowS #
Eq File Source #
Instance details Defined in Nixfmt.Types Methods (==) :: File -> File -> Bool # (/=) :: File -> File -> Bool #
Pretty File Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: File -> Doc Source #

data Token Source #

Instances

Instances details

Show Token Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #
Eq Token Source #
Instance details Defined in Nixfmt.Types Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Pretty Token Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: Token -> Doc Source #
Pretty [Token] Source #
Instance details Defined in Nixfmt.Pretty Methods pretty :: [Token] -> Doc Source #

data Fixity Source #

Constructors

Prefix
InfixL
InfixN
InfixR
Postfix

Instances

Instances details

Show Fixity Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> Fixity -> ShowS # show :: Fixity -> String # showList :: [Fixity] -> ShowS #
Eq Fixity Source #
Instance details Defined in Nixfmt.Types Methods (==) :: Fixity -> Fixity -> Bool # (/=) :: Fixity -> Fixity -> Bool #

data Operator Source #

Constructors

Op Fixity Token
Apply

Instances

Instances details

Show Operator Source #
Instance details Defined in Nixfmt.Types Methods showsPrec :: Int -> Operator -> ShowS # show :: Operator -> String # showList :: [Operator] -> ShowS #
Eq Operator Source #
Instance details Defined in Nixfmt.Types Methods (==) :: Operator -> Operator -> Bool # (/=) :: Operator -> Operator -> Bool #

operators :: [[Operator]] Source #

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

tokenText :: Token -> Text Source #

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

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