Language.Nix.Binding

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

Ord Binding

Show Binding

IsString Binding

Generic Binding

Text Binding

Arbitrary Binding

NFData Binding

type Rep Binding

binding :: Iso' Binding (Identifier, Path)

localName :: Lens' Binding Identifier

reference :: Lens' Binding Path