Safe Haskell	None
Language	Haskell2010

Language.Nix.Binding

Synopsis

data Binding
binding :: Iso' Binding (Identifier, Path)
localName :: Lens' Binding Identifier
reference :: Lens' Binding Path

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

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 #
Show Binding Source #
Instance details Defined in Language.Nix.Binding Methods showsPrec :: Int -> Binding -> ShowS # show :: Binding -> String # showList :: [Binding] -> ShowS #
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 :: Type -> Type # Methods from :: Binding -> Rep Binding x # to :: Rep Binding x -> Binding #
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 -> () #
HasParser Binding Source #
Instance details Defined in Language.Nix.Binding Methods parser :: 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-4V8HiyuJODaH1hiGHTNPvO" 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 #