-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Data types and useful functions to represent and manipulate the Nix language.
--   
--   Data types and useful functions to represent and manipulate the Nix
--   language.
@package language-nix
@version 2

module Language.Nix.Identifier
data Identifier
ident :: Iso' Identifier String
quote :: String -> String
needsQuoting :: String -> Bool
instance Data.String.IsString Language.Nix.Identifier.Identifier
instance GHC.Classes.Ord Language.Nix.Identifier.Identifier
instance GHC.Classes.Eq Language.Nix.Identifier.Identifier
instance GHC.Show.Show Language.Nix.Identifier.Identifier
instance Text.PrettyPrint.HughesPJClass.Pretty Language.Nix.Identifier.Identifier
instance Control.DeepSeq.NFData Language.Nix.Identifier.Identifier

module Language.Nix.Path

-- | Paths are non-empty lists of identifiers in Nix.
--   
--   <pre>
--   &gt;&gt;&gt; path # [ident # "yo"]
--   Path [Identifier "yo"]
--   </pre>
--   
--   Any attempt to construct the empty path throws an <a>error</a>:
--   
--   <pre>
--   &gt;&gt;&gt; path # []
--   Path *** Exception: Nix paths cannot be empty
--   </pre>
--   
--   <a>Identifier</a> is an instance of <tt>IsString</tt>:
--   
--   <pre>
--   &gt;&gt;&gt; :set -XOverloadedStrings
--   
--   &gt;&gt;&gt; pPrint $ path # ["yo","bar"]
--   yo.bar
--   </pre>
--   
--   Freaky quoted identifiers are fine except in the first segment:
--   
--   <pre>
--   &gt;&gt;&gt; pPrint $ path # ["yo","b\"ar"]
--   yo."b\"ar"
--   
--   &gt;&gt;&gt; pPrint $ path # ["5ident"]
--   *** Exception: invalid Nix path: [Identifier "5ident"]
--   
--   &gt;&gt;&gt; pPrint $ path # ["5ident","foo","bar"]
--   *** Exception: invalid Nix path: [Identifier "5ident",Identifier "foo",Identifier "bar"]
--   </pre>
data Path
path :: Iso' Path [Identifier]
instance GHC.Classes.Ord Language.Nix.Path.Path
instance GHC.Classes.Eq Language.Nix.Path.Path
instance GHC.Show.Show Language.Nix.Path.Path
instance Control.DeepSeq.NFData Language.Nix.Path.Path
instance Text.PrettyPrint.HughesPJClass.Pretty Language.Nix.Path.Path

module Language.Nix.Binding

-- | A <a>Binding</a> represents an identifier that refers to some other
--   <a>Path</a>.
data Binding
binding :: Iso' Binding (Identifier, Path)
localName :: Lens' Binding Identifier
reference :: Lens' Binding Path
instance GHC.Classes.Ord Language.Nix.Binding.Binding
instance GHC.Classes.Eq Language.Nix.Binding.Binding
instance GHC.Show.Show Language.Nix.Binding.Binding
instance Control.DeepSeq.NFData Language.Nix.Binding.Binding
instance Text.PrettyPrint.HughesPJClass.Pretty Language.Nix.Binding.Binding

module Language.Nix