language-nix-2.1.0.1: Data types and useful functions to represent and manipulate the Nix language.
Language.Nix.Binding
Synopsis
data Binding #
A Binding represents an identifier that refers to some other Path.
Binding
Path
>>> :set -XOverloadedStrings >>> "inherit (foo.bar) abc" :: Binding Bind (Identifier "abc") (Path [Identifier "foo",Identifier "bar",Identifier "abc"])
>>>
:set -XOverloadedStrings
"inherit (foo.bar) abc" :: Binding
\b -> Just (b :: Binding) == simpleParse (display b)
Instances
Methods
(==) :: Binding -> Binding -> Bool #
(/=) :: Binding -> Binding -> Bool #
compare :: Binding -> Binding -> Ordering #
(<) :: Binding -> Binding -> Bool #
(<=) :: Binding -> Binding -> Bool #
(>) :: Binding -> Binding -> Bool #
(>=) :: Binding -> Binding -> Bool #
max :: Binding -> Binding -> Binding #
min :: Binding -> Binding -> Binding #
showsPrec :: Int -> Binding -> ShowS #
show :: Binding -> String #
showList :: [Binding] -> ShowS #
fromString :: String -> Binding #
Associated Types
type Rep Binding :: * -> * #
from :: Binding -> Rep Binding x #
to :: Rep Binding x -> Binding #
disp :: Binding -> Doc #
parse :: ReadP r Binding #
arbitrary :: Gen Binding #
shrink :: Binding -> [Binding] #
rnf :: Binding -> () #
binding :: Iso' Binding (Identifier, Path) #
localName :: Lens' Binding Identifier #
reference :: Lens' Binding Path #