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 #

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) == simpleParse (display b)

Instances

Eq Binding #
Instance details Defined in Language.Nix.Binding Methods (==) :: Binding -> Binding -> Bool # (/=) :: Binding -> Binding -> Bool #
Ord Binding #
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 #
Instance details Defined in Language.Nix.Binding Methods showsPrec :: Int -> Binding -> ShowS # show :: Binding -> String # showList :: [Binding] -> ShowS #
IsString Binding #
Instance details Defined in Language.Nix.Binding Methods fromString :: String -> Binding #
Generic Binding #
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 #
Text Binding #
Instance details Defined in Language.Nix.Binding Methods disp :: Binding -> Doc # parse :: ReadP r Binding #
NFData Binding #
Instance details Defined in Language.Nix.Binding Methods rnf :: Binding -> () #
Arbitrary Binding #
Instance details Defined in Language.Nix.Binding Methods arbitrary :: Gen Binding # shrink :: Binding -> [Binding] #
type Rep Binding #
Instance details Defined in Language.Nix.Binding type Rep Binding = D1 (MetaData "Binding" "Language.Nix.Binding" "language-nix-2.1.0.1-BmSDMjriyUI13JPNa6s8Su" 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) #

localName :: Lens' Binding Identifier #

reference :: Lens' Binding Path #