language-nix-2.2.0: Data types and functions to represent the Nix language
Safe HaskellNone
LanguageHaskell2010

Language.Nix.Binding

Synopsis

Documentation

data Binding Source #

A Binding represents an identifier that refers to some other Path.

>>> :set -XOverloadedStrings
>>> "inherit (foo.bar) abc" :: Binding
Bind (Identifier "abc") (Path [Identifier "foo",Identifier "bar",Identifier "abc"])

\b -> Just (b :: Binding) == parseM "Binding" (prettyShow b)

Instances

Instances details
Arbitrary Binding Source # 
Instance details

Defined in Language.Nix.Binding

Methods

arbitrary :: Gen Binding #

shrink :: Binding -> [Binding] #

CoArbitrary Binding Source # 
Instance details

Defined in Language.Nix.Binding

Methods

coarbitrary :: Binding -> Gen b -> Gen b #

NFData Binding Source # 
Instance details

Defined in Language.Nix.Binding

Methods

rnf :: Binding -> () #

IsString Binding Source # 
Instance details

Defined in Language.Nix.Binding

Methods

fromString :: String -> Binding #

Generic Binding Source # 
Instance details

Defined in Language.Nix.Binding

Associated Types

type Rep Binding 
Instance details

Defined in Language.Nix.Binding

type Rep Binding = D1 ('MetaData "Binding" "Language.Nix.Binding" "language-nix-2.2.0-K1SYLiOevnkIV36wrayVTH" 'False) (C1 ('MetaCons "Bind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path)))

Methods

from :: Binding -> Rep Binding x #

to :: Rep Binding x -> Binding #

Show Binding Source # 
Instance details

Defined in Language.Nix.Binding

Methods

showsPrec :: Int -> Binding -> ShowS #

show :: Binding -> String #

showList :: [Binding] -> ShowS #

Eq Binding Source # 
Instance details

Defined in Language.Nix.Binding

Methods

(==) :: Binding -> Binding -> Bool #

(/=) :: Binding -> Binding -> Bool #

Ord Binding Source # 
Instance details

Defined in Language.Nix.Binding

Methods

compare :: Binding -> Binding -> Ordering #

(<) :: Binding -> Binding -> Bool #

(<=) :: Binding -> Binding -> Bool #

(>) :: Binding -> Binding -> Bool #

(>=) :: Binding -> Binding -> Bool #

max :: Binding -> Binding -> Binding #

min :: Binding -> Binding -> Binding #

HasParser Binding Source # 
Instance details

Defined in Language.Nix.Binding

Methods

parser :: forall st input (m :: Type -> Type). CharParser st input m Binding #

Pretty Binding Source # 
Instance details

Defined in Language.Nix.Binding

Methods

pPrintPrec :: PrettyLevel -> Rational -> Binding -> Doc #

pPrint :: Binding -> Doc #

pPrintList :: PrettyLevel -> [Binding] -> Doc #

type Rep Binding Source # 
Instance details

Defined in Language.Nix.Binding

type Rep Binding = D1 ('MetaData "Binding" "Language.Nix.Binding" "language-nix-2.2.0-K1SYLiOevnkIV36wrayVTH" 'False) (C1 ('MetaCons "Bind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path)))

binding :: Iso' Binding (Identifier, Path) Source #

localName :: Lens' Binding Identifier Source #

reference :: Lens' Binding Path Source #