Nix.Expr.Types

The Nix expression type and supporting types.

For a brief introduction of the Nix expression language, see https://nixos.org/nix/manual/#ch-expression-language.

This module is a beginning of a deep embedding (term) of a Nix language into Haskell. Shallow/deep embedding brief: https://web.archive.org/web/20201112031804/https://alessandrovermeulen.me/2013/07/13/the-difference-between-shallow-and-deep-embedding/

(additiona info for dev): Big use of TemplateHaskell in the module requires proper (top-down) organization of declarations

Utilitary: orphan instances

Components of Nix expressions

type VarName = Text

Params

type ParamSet r = [(VarName, Maybe r)]

data Params r

Params represents all the ways the formal parameters to a function can be represented.

Constructors

Param !VarName

For functions with a single named argument, such as x: x + 1.

Param "x"                                  ~  x

ParamSet !(ParamSet r) !Bool !(Maybe VarName)

Explicit parameters (argument must be a set). Might specify a name to bind to the set in the function body. The bool indicates whether it is variadic or not.

ParamSet [("x",Nothing)] False Nothing     ~  { x }
ParamSet [("x",pure y)]  True  (pure "s")  ~  s@{ x ? y, ... }

Instances

Functor Params

Defined in Nix.Expr.Types

Methods

fmap :: (a -> b) -> Params a -> Params b

(<$) :: a -> Params b -> Params a

Foldable Params

Defined in Nix.Expr.Types

Methods

fold :: Monoid m => Params m -> m

foldMap :: Monoid m => (a -> m) -> Params a -> m

foldMap' :: Monoid m => (a -> m) -> Params a -> m

foldr :: (a -> b -> b) -> b -> Params a -> b

foldr' :: (a -> b -> b) -> b -> Params a -> b

foldl :: (b -> a -> b) -> b -> Params a -> b

foldl' :: (b -> a -> b) -> b -> Params a -> b

foldr1 :: (a -> a -> a) -> Params a -> a

foldl1 :: (a -> a -> a) -> Params a -> a

toList :: Params a -> [a]

null :: Params a -> Bool

length :: Params a -> Int

elem :: Eq a => a -> Params a -> Bool

maximum :: Ord a => Params a -> a

minimum :: Ord a => Params a -> a

sum :: Num a => Params a -> a

product :: Num a => Params a -> a

Traversable Params

Defined in Nix.Expr.Types

Methods

traverse :: Applicative f => (a -> f b) -> Params a -> f (Params b)

sequenceA :: Applicative f => Params (f a) -> f (Params a)

mapM :: Monad m => (a -> m b) -> Params a -> m (Params b)

sequence :: Monad m => Params (m a) -> m (Params a)

ToJSON1 Params

Defined in Nix.Expr.Types

Methods

liftToJSON :: (a -> Value) -> ([a] -> Value) -> Params a -> Value

liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Params a] -> Value

liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Params a -> Encoding

liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Params a] -> Encoding

FromJSON1 Params

Defined in Nix.Expr.Types

Methods

liftParseJSON :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (Params a)

liftParseJSONList :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [Params a]

Eq1 Params

Defined in Nix.Expr.Types

Methods

liftEq :: (a -> b -> Bool) -> Params a -> Params b -> Bool

Ord1 Params

Defined in Nix.Expr.Types

Methods

liftCompare :: (a -> b -> Ordering) -> Params a -> Params b -> Ordering

Read1 Params

Defined in Nix.Expr.Types

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Params a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Params a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Params a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Params a]

Show1 Params

Defined in Nix.Expr.Types

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Params a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Params a] -> ShowS

NFData1 Params

Defined in Nix.Expr.Types

Methods

liftRnf :: (a -> ()) -> Params a -> ()

Hashable1 Params

Defined in Nix.Expr.Types

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Params a -> Int

Eq r => Eq (Params r)

Defined in Nix.Expr.Types

Methods

(==) :: Params r -> Params r -> Bool

(/=) :: Params r -> Params r -> Bool

Data r => Data (Params r)

Defined in Nix.Expr.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Params r -> c (Params r)

gunfold :: (forall b r0. Data b => c (b -> r0) -> c r0) -> (forall r1. r1 -> c r1) -> Constr -> c (Params r)

toConstr :: Params r -> Constr

dataTypeOf :: Params r -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Params r))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Params r))

gmapT :: (forall b. Data b => b -> b) -> Params r -> Params r

gmapQl :: (r0 -> r' -> r0) -> r0 -> (forall d. Data d => d -> r') -> Params r -> r0

gmapQr :: forall r0 r'. (r' -> r0 -> r0) -> r0 -> (forall d. Data d => d -> r') -> Params r -> r0

gmapQ :: (forall d. Data d => d -> u) -> Params r -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Params r -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Params r -> m (Params r)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Params r -> m (Params r)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Params r -> m (Params r)

Ord r => Ord (Params r)

Defined in Nix.Expr.Types

Methods

compare :: Params r -> Params r -> Ordering

(<) :: Params r -> Params r -> Bool

(<=) :: Params r -> Params r -> Bool

(>) :: Params r -> Params r -> Bool

(>=) :: Params r -> Params r -> Bool

max :: Params r -> Params r -> Params r

min :: Params r -> Params r -> Params r

Show r => Show (Params r)

Defined in Nix.Expr.Types

Methods

showsPrec :: Int -> Params r -> ShowS

show :: Params r -> String

showList :: [Params r] -> ShowS

IsString (Params r)

Defined in Nix.Expr.Types

Methods

fromString :: String -> Params r

Generic (Params r)

Defined in Nix.Expr.Types

Associated Types

type Rep (Params r) :: Type -> Type

Methods

from :: Params r -> Rep (Params r) x

to :: Rep (Params r) x -> Params r

Hashable r => Hashable (Params r)

Defined in Nix.Expr.Types

Methods

hashWithSalt :: Int -> Params r -> Int

hash :: Params r -> Int

ToJSON r => ToJSON (Params r)

Defined in Nix.Expr.Types

Methods

toJSON :: Params r -> Value

toEncoding :: Params r -> Encoding

toJSONList :: [Params r] -> Value

toEncodingList :: [Params r] -> Encoding

FromJSON r => FromJSON (Params r)

Defined in Nix.Expr.Types

Methods

parseJSON :: Value -> Parser (Params r)

parseJSONList :: Value -> Parser [Params r]

Binary r => Binary (Params r)

Defined in Nix.Expr.Types

Methods

put :: Params r -> Put

get :: Get (Params r)

putList :: [Params r] -> Put

NFData r => NFData (Params r)

Defined in Nix.Expr.Types

Methods

rnf :: Params r -> ()

Serialise r => Serialise (Params r)

Defined in Nix.Expr.Types

Methods

encode :: Params r -> Encoding

decode :: Decoder s (Params r)

encodeList :: [Params r] -> Encoding

decodeList :: Decoder s [Params r]

Generic1 Params

Defined in Nix.Expr.Types

Associated Types

type Rep1 Params :: k -> Type

Methods

from1 :: forall (a :: k). Params a -> Rep1 Params a

to1 :: forall (a :: k). Rep1 Params a -> Params a

type Rep (Params r)

Defined in Nix.Expr.Types

type Rep (Params r) = D1 ('MetaData "Params" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "Param" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarName)) :+: C1 ('MetaCons "ParamSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ParamSet r)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe VarName)))))

type Rep1 Params

Defined in Nix.Expr.Types

type Rep1 Params = D1 ('MetaData "Params" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "Param" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarName)) :+: C1 ('MetaCons "ParamSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) ([] :.: ((,) VarName :.: Rec1 Maybe)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe VarName)))))

Lens traversals

_ParamSet :: Applicative f => ((ParamSet r1, Bool, Maybe VarName) -> f (ParamSet r2, Bool, Maybe VarName)) -> Params r1 -> f (Params r2)

_Param :: Applicative f => (VarName -> f VarName) -> Params r -> f (Params r)

Antiquoted

data Antiquoted (v :: Type) (r :: Type)

Antiquoted represents an expression that is either antiquoted (surrounded by ${...}) or plain (not antiquoted).

Constructors

Plain !v

EscapedNewline

EscapedNewline corresponds to the special newline form

''\n

in an indented string. It is equivalent to a single newline character:

''''\n''  ≡  "\n"

Antiquoted !r

Instances

ToJSON2 Antiquoted

Defined in Nix.Expr.Types

Methods

liftToJSON2 :: (a -> Value) -> ([a] -> Value) -> (b -> Value) -> ([b] -> Value) -> Antiquoted a b -> Value

liftToJSONList2 :: (a -> Value) -> ([a] -> Value) -> (b -> Value) -> ([b] -> Value) -> [Antiquoted a b] -> Value

liftToEncoding2 :: (a -> Encoding) -> ([a] -> Encoding) -> (b -> Encoding) -> ([b] -> Encoding) -> Antiquoted a b -> Encoding

liftToEncodingList2 :: (a -> Encoding) -> ([a] -> Encoding) -> (b -> Encoding) -> ([b] -> Encoding) -> [Antiquoted a b] -> Encoding

FromJSON2 Antiquoted

Defined in Nix.Expr.Types

Methods

liftParseJSON2 :: (Value -> Parser a) -> (Value -> Parser [a]) -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser (Antiquoted a b)

liftParseJSONList2 :: (Value -> Parser a) -> (Value -> Parser [a]) -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser [Antiquoted a b]

Eq2 Antiquoted

Defined in Nix.Expr.Types

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Antiquoted a c -> Antiquoted b d -> Bool

Ord2 Antiquoted

Defined in Nix.Expr.Types

Methods

liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Antiquoted a c -> Antiquoted b d -> Ordering

Read2 Antiquoted

Defined in Nix.Expr.Types

Methods

liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Antiquoted a b)

liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Antiquoted a b]

liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Antiquoted a b)

liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Antiquoted a b]

Show2 Antiquoted

Defined in Nix.Expr.Types

Methods

liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Antiquoted a b -> ShowS

liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Antiquoted a b] -> ShowS

Hashable2 Antiquoted

Defined in Nix.Expr.Types

Methods

liftHashWithSalt2 :: (Int -> a -> Int) -> (Int -> b -> Int) -> Int -> Antiquoted a b -> Int

Functor (Antiquoted v)

Defined in Nix.Expr.Types

Methods

fmap :: (a -> b) -> Antiquoted v a -> Antiquoted v b

(<$) :: a -> Antiquoted v b -> Antiquoted v a

Foldable (Antiquoted v)

Defined in Nix.Expr.Types

Methods

fold :: Monoid m => Antiquoted v m -> m

foldMap :: Monoid m => (a -> m) -> Antiquoted v a -> m

foldMap' :: Monoid m => (a -> m) -> Antiquoted v a -> m

foldr :: (a -> b -> b) -> b -> Antiquoted v a -> b

foldr' :: (a -> b -> b) -> b -> Antiquoted v a -> b

foldl :: (b -> a -> b) -> b -> Antiquoted v a -> b

foldl' :: (b -> a -> b) -> b -> Antiquoted v a -> b

foldr1 :: (a -> a -> a) -> Antiquoted v a -> a

foldl1 :: (a -> a -> a) -> Antiquoted v a -> a

toList :: Antiquoted v a -> [a]

null :: Antiquoted v a -> Bool

length :: Antiquoted v a -> Int

elem :: Eq a => a -> Antiquoted v a -> Bool

maximum :: Ord a => Antiquoted v a -> a

minimum :: Ord a => Antiquoted v a -> a

sum :: Num a => Antiquoted v a -> a

product :: Num a => Antiquoted v a -> a

Traversable (Antiquoted v)

Defined in Nix.Expr.Types

Methods

traverse :: Applicative f => (a -> f b) -> Antiquoted v a -> f (Antiquoted v b)

sequenceA :: Applicative f => Antiquoted v (f a) -> f (Antiquoted v a)

mapM :: Monad m => (a -> m b) -> Antiquoted v a -> m (Antiquoted v b)

sequence :: Monad m => Antiquoted v (m a) -> m (Antiquoted v a)

ToJSON v => ToJSON1 (Antiquoted v)

Defined in Nix.Expr.Types

Methods

liftToJSON :: (a -> Value) -> ([a] -> Value) -> Antiquoted v a -> Value

liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Antiquoted v a] -> Value

liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Antiquoted v a -> Encoding

liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Antiquoted v a] -> Encoding

FromJSON v => FromJSON1 (Antiquoted v)

Defined in Nix.Expr.Types

Methods

liftParseJSON :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (Antiquoted v a)

liftParseJSONList :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [Antiquoted v a]

Eq v => Eq1 (Antiquoted v)

Defined in Nix.Expr.Types

Methods

liftEq :: (a -> b -> Bool) -> Antiquoted v a -> Antiquoted v b -> Bool

Ord v => Ord1 (Antiquoted v)

Defined in Nix.Expr.Types

Methods

liftCompare :: (a -> b -> Ordering) -> Antiquoted v a -> Antiquoted v b -> Ordering

Read v => Read1 (Antiquoted v)

Defined in Nix.Expr.Types

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Antiquoted v a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Antiquoted v a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Antiquoted v a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Antiquoted v a]

Show v => Show1 (Antiquoted v)

Defined in Nix.Expr.Types

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Antiquoted v a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Antiquoted v a] -> ShowS

NFData v => NFData1 (Antiquoted v)

Defined in Nix.Expr.Types

Methods

liftRnf :: (a -> ()) -> Antiquoted v a -> ()

Hashable v => Hashable1 (Antiquoted v)

Defined in Nix.Expr.Types

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Antiquoted v a -> Int

Generic1 (Antiquoted v :: Type -> Type)

Defined in Nix.Expr.Types

Associated Types

type Rep1 (Antiquoted v) :: k -> Type

Methods

from1 :: forall (a :: k). Antiquoted v a -> Rep1 (Antiquoted v) a

to1 :: forall (a :: k). Rep1 (Antiquoted v) a -> Antiquoted v a

(Eq v, Eq r) => Eq (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

(==) :: Antiquoted v r -> Antiquoted v r -> Bool

(/=) :: Antiquoted v r -> Antiquoted v r -> Bool

(Data v, Data r) => Data (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Antiquoted v r -> c (Antiquoted v r)

gunfold :: (forall b r0. Data b => c (b -> r0) -> c r0) -> (forall r1. r1 -> c r1) -> Constr -> c (Antiquoted v r)

toConstr :: Antiquoted v r -> Constr

dataTypeOf :: Antiquoted v r -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Antiquoted v r))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Antiquoted v r))

gmapT :: (forall b. Data b => b -> b) -> Antiquoted v r -> Antiquoted v r

gmapQl :: (r0 -> r' -> r0) -> r0 -> (forall d. Data d => d -> r') -> Antiquoted v r -> r0

gmapQr :: forall r0 r'. (r' -> r0 -> r0) -> r0 -> (forall d. Data d => d -> r') -> Antiquoted v r -> r0

gmapQ :: (forall d. Data d => d -> u) -> Antiquoted v r -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Antiquoted v r -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Antiquoted v r -> m (Antiquoted v r)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Antiquoted v r -> m (Antiquoted v r)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Antiquoted v r -> m (Antiquoted v r)

(Ord v, Ord r) => Ord (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

compare :: Antiquoted v r -> Antiquoted v r -> Ordering

(<) :: Antiquoted v r -> Antiquoted v r -> Bool

(<=) :: Antiquoted v r -> Antiquoted v r -> Bool

(>) :: Antiquoted v r -> Antiquoted v r -> Bool

(>=) :: Antiquoted v r -> Antiquoted v r -> Bool

max :: Antiquoted v r -> Antiquoted v r -> Antiquoted v r

min :: Antiquoted v r -> Antiquoted v r -> Antiquoted v r

(Read v, Read r) => Read (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

readsPrec :: Int -> ReadS (Antiquoted v r)

readList :: ReadS [Antiquoted v r]

readPrec :: ReadPrec (Antiquoted v r)

readListPrec :: ReadPrec [Antiquoted v r]

(Show v, Show r) => Show (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

showsPrec :: Int -> Antiquoted v r -> ShowS

show :: Antiquoted v r -> String

showList :: [Antiquoted v r] -> ShowS

Generic (Antiquoted v r)

Defined in Nix.Expr.Types

Associated Types

type Rep (Antiquoted v r) :: Type -> Type

Methods

from :: Antiquoted v r -> Rep (Antiquoted v r) x

to :: Rep (Antiquoted v r) x -> Antiquoted v r

(Hashable v, Hashable r) => Hashable (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

hashWithSalt :: Int -> Antiquoted v r -> Int

hash :: Antiquoted v r -> Int

(ToJSON r, ToJSON v) => ToJSON (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

toJSON :: Antiquoted v r -> Value

toEncoding :: Antiquoted v r -> Encoding

toJSONList :: [Antiquoted v r] -> Value

toEncodingList :: [Antiquoted v r] -> Encoding

(FromJSON r, FromJSON v) => FromJSON (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

parseJSON :: Value -> Parser (Antiquoted v r)

parseJSONList :: Value -> Parser [Antiquoted v r]

(Binary v, Binary r) => Binary (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

put :: Antiquoted v r -> Put

get :: Get (Antiquoted v r)

putList :: [Antiquoted v r] -> Put

(NFData v, NFData r) => NFData (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

rnf :: Antiquoted v r -> ()

(Serialise v, Serialise r) => Serialise (Antiquoted v r)

Defined in Nix.Expr.Types

Methods

encode :: Antiquoted v r -> Encoding

decode :: Decoder s (Antiquoted v r)

encodeList :: [Antiquoted v r] -> Encoding

decodeList :: Decoder s [Antiquoted v r]

type Rep1 (Antiquoted v :: Type -> Type)

Defined in Nix.Expr.Types

type Rep1 (Antiquoted v :: Type -> Type) = D1 ('MetaData "Antiquoted" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "Plain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 v)) :+: (C1 ('MetaCons "EscapedNewline" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antiquoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)))

type Rep (Antiquoted v r)

Defined in Nix.Expr.Types

type Rep (Antiquoted v r) = D1 ('MetaData "Antiquoted" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "Plain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 v)) :+: (C1 ('MetaCons "EscapedNewline" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antiquoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r))))

Lens traversals

_Antiquoted :: Applicative f => (t -> f r) -> Antiquoted v t -> f (Antiquoted v r)

_EscapedNewline :: Applicative f => (() -> f ()) -> Antiquoted v r -> f (Antiquoted v r)

_Plain :: Applicative f => (t -> f v) -> Antiquoted t r -> f (Antiquoted v r)

NString

data NString r

An NString is a list of things that are either a plain string or an antiquoted expression. After the antiquotes have been evaluated, the final string is constructed by concatenating all the parts.

Constructors

DoubleQuoted ![Antiquoted Text r]

Strings wrapped with double-quotes (") can contain literal newline characters, but the newlines are preserved and no indentation is stripped.

DoubleQuoted [Plain "x",Antiquoted y]   ~  "x${y}"

Indented !Int ![Antiquoted Text r]

Strings wrapped with two single quotes ('') can contain newlines, and their indentation will be stripped, but the amount stripped is remembered.

Indented 1 [Plain "x"]                  ~  '' x''

Indented 0 [EscapedNewline]             ~  ''''\n''

Indented 0 [Plain "x\n ",Antiquoted y]  ~  ''
                                           x
                                            ${y}''

Instances

Functor NString

Defined in Nix.Expr.Types

Methods

fmap :: (a -> b) -> NString a -> NString b

(<$) :: a -> NString b -> NString a

Foldable NString

Defined in Nix.Expr.Types

Methods

fold :: Monoid m => NString m -> m

foldMap :: Monoid m => (a -> m) -> NString a -> m

foldMap' :: Monoid m => (a -> m) -> NString a -> m

foldr :: (a -> b -> b) -> b -> NString a -> b

foldr' :: (a -> b -> b) -> b -> NString a -> b

foldl :: (b -> a -> b) -> b -> NString a -> b

foldl' :: (b -> a -> b) -> b -> NString a -> b

foldr1 :: (a -> a -> a) -> NString a -> a

foldl1 :: (a -> a -> a) -> NString a -> a

toList :: NString a -> [a]

null :: NString a -> Bool

length :: NString a -> Int

elem :: Eq a => a -> NString a -> Bool

maximum :: Ord a => NString a -> a

minimum :: Ord a => NString a -> a

sum :: Num a => NString a -> a

product :: Num a => NString a -> a

Traversable NString

Defined in Nix.Expr.Types

Methods

traverse :: Applicative f => (a -> f b) -> NString a -> f (NString b)

sequenceA :: Applicative f => NString (f a) -> f (NString a)

mapM :: Monad m => (a -> m b) -> NString a -> m (NString b)

sequence :: Monad m => NString (m a) -> m (NString a)

ToJSON1 NString

Defined in Nix.Expr.Types

Methods

liftToJSON :: (a -> Value) -> ([a] -> Value) -> NString a -> Value

liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [NString a] -> Value

liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> NString a -> Encoding

liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [NString a] -> Encoding

FromJSON1 NString

Defined in Nix.Expr.Types

Methods

liftParseJSON :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (NString a)

liftParseJSONList :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [NString a]

Eq1 NString

Defined in Nix.Expr.Types

Methods

liftEq :: (a -> b -> Bool) -> NString a -> NString b -> Bool

Ord1 NString

Defined in Nix.Expr.Types

Methods

liftCompare :: (a -> b -> Ordering) -> NString a -> NString b -> Ordering

Read1 NString

Defined in Nix.Expr.Types

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (NString a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [NString a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (NString a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [NString a]

Show1 NString

Defined in Nix.Expr.Types

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> NString a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [NString a] -> ShowS

NFData1 NString

Defined in Nix.Expr.Types

Methods

liftRnf :: (a -> ()) -> NString a -> ()

Hashable1 NString

Defined in Nix.Expr.Types

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> NString a -> Int

Eq r => Eq (NString r)

Defined in Nix.Expr.Types

Methods

(==) :: NString r -> NString r -> Bool

(/=) :: NString r -> NString r -> Bool

Data r => Data (NString r)

Defined in Nix.Expr.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NString r -> c (NString r)

gunfold :: (forall b r0. Data b => c (b -> r0) -> c r0) -> (forall r1. r1 -> c r1) -> Constr -> c (NString r)

toConstr :: NString r -> Constr

dataTypeOf :: NString r -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (NString r))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (NString r))

gmapT :: (forall b. Data b => b -> b) -> NString r -> NString r

gmapQl :: (r0 -> r' -> r0) -> r0 -> (forall d. Data d => d -> r') -> NString r -> r0

gmapQr :: forall r0 r'. (r' -> r0 -> r0) -> r0 -> (forall d. Data d => d -> r') -> NString r -> r0

gmapQ :: (forall d. Data d => d -> u) -> NString r -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NString r -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NString r -> m (NString r)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NString r -> m (NString r)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NString r -> m (NString r)

Ord r => Ord (NString r)

Defined in Nix.Expr.Types

Methods

compare :: NString r -> NString r -> Ordering

(<) :: NString r -> NString r -> Bool

(<=) :: NString r -> NString r -> Bool

(>) :: NString r -> NString r -> Bool

(>=) :: NString r -> NString r -> Bool

max :: NString r -> NString r -> NString r

min :: NString r -> NString r -> NString r

Read r => Read (NString r)

Defined in Nix.Expr.Types

Methods

readsPrec :: Int -> ReadS (NString r)

readList :: ReadS [NString r]

readPrec :: ReadPrec (NString r)

readListPrec :: ReadPrec [NString r]

Show r => Show (NString r)

Defined in Nix.Expr.Types

Methods

showsPrec :: Int -> NString r -> ShowS

show :: NString r -> String

showList :: [NString r] -> ShowS

IsString (NString r)

For the the IsString instance, we use a plain doublequoted string.

Defined in Nix.Expr.Types

Methods

fromString :: String -> NString r

Generic (NString r)

Defined in Nix.Expr.Types

Associated Types

type Rep (NString r) :: Type -> Type

Methods

from :: NString r -> Rep (NString r) x

to :: Rep (NString r) x -> NString r

Hashable r => Hashable (NString r)

Defined in Nix.Expr.Types

Methods

hashWithSalt :: Int -> NString r -> Int

hash :: NString r -> Int

ToJSON r => ToJSON (NString r)

Defined in Nix.Expr.Types

Methods

toJSON :: NString r -> Value

toEncoding :: NString r -> Encoding

toJSONList :: [NString r] -> Value

toEncodingList :: [NString r] -> Encoding

FromJSON r => FromJSON (NString r)

Defined in Nix.Expr.Types

Methods

parseJSON :: Value -> Parser (NString r)

parseJSONList :: Value -> Parser [NString r]

Binary r => Binary (NString r)

Defined in Nix.Expr.Types

Methods

put :: NString r -> Put

get :: Get (NString r)

putList :: [NString r] -> Put

NFData r => NFData (NString r)

Defined in Nix.Expr.Types

Methods

rnf :: NString r -> ()

Serialise r => Serialise (NString r)

Defined in Nix.Expr.Types

Methods

encode :: NString r -> Encoding

decode :: Decoder s (NString r)

encodeList :: [NString r] -> Encoding

decodeList :: Decoder s [NString r]

Generic1 NString

Defined in Nix.Expr.Types

Associated Types

type Rep1 NString :: k -> Type

Methods

from1 :: forall (a :: k). NString a -> Rep1 NString a

to1 :: forall (a :: k). Rep1 NString a -> NString a

type Rep (NString r)

Defined in Nix.Expr.Types

type Rep (NString r) = D1 ('MetaData "NString" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "DoubleQuoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Antiquoted Text r])) :+: C1 ('MetaCons "Indented" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Antiquoted Text r])))

type Rep1 NString

Defined in Nix.Expr.Types

type Rep1 NString = D1 ('MetaData "NString" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "DoubleQuoted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) ([] :.: Rec1 (Antiquoted Text))) :+: C1 ('MetaCons "Indented" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) ([] :.: Rec1 (Antiquoted Text))))

Lens traversals

_Indented :: Applicative f => ((Int, [Antiquoted Text r]) -> f (Int, [Antiquoted Text r])) -> NString r -> f (NString r)

_DoubleQuoted :: Applicative f => ([Antiquoted Text r] -> f [Antiquoted Text r]) -> NString r -> f (NString r)

NKeyName

data NKeyName r

A KeyName is something that can appear on the left side of an equals sign. For example, a is a KeyName in { a = 3; }, let a = 3; in ..., {}.a or {} ? a.

Nix supports both static keynames (just an identifier) and dynamic identifiers. Dynamic identifiers can be either a string (e.g.: { "a" = 3; }) or an antiquotation (e.g.: let a = "example"; in { ${a} = 3; }.example).

Note: There are some places where a dynamic keyname is not allowed. In particular, those include:

• The RHS of a binding inside let: let ${"a"} = 3; in ... produces a syntax fail.
• The attribute names of an inherit: inherit ${"a"}; is forbidden.

Note: In Nix, a simple string without antiquotes such as "foo" is allowed even if the context requires a static keyname, but the parser still considers it a DynamicKey for simplicity.

Constructors

DynamicKey !(Antiquoted (NString r) r)

DynamicKey (Plain (DoubleQuoted [Plain "x"]))     ~  "x"
DynamicKey (Antiquoted x)                         ~  ${x}
DynamicKey (Plain (DoubleQuoted [Antiquoted x]))  ~  "${x}"

StaticKey !VarName

StaticKey "x"                                     ~  x

Instances

Functor NKeyName

Defined in Nix.Expr.Types

Methods

fmap :: (a -> b) -> NKeyName a -> NKeyName b

(<$) :: a -> NKeyName b -> NKeyName a

Foldable NKeyName

Defined in Nix.Expr.Types

Methods

fold :: Monoid m => NKeyName m -> m

foldMap :: Monoid m => (a -> m) -> NKeyName a -> m

foldMap' :: Monoid m => (a -> m) -> NKeyName a -> m

foldr :: (a -> b -> b) -> b -> NKeyName a -> b

foldr' :: (a -> b -> b) -> b -> NKeyName a -> b

foldl :: (b -> a -> b) -> b -> NKeyName a -> b

foldl' :: (b -> a -> b) -> b -> NKeyName a -> b

foldr1 :: (a -> a -> a) -> NKeyName a -> a

foldl1 :: (a -> a -> a) -> NKeyName a -> a

toList :: NKeyName a -> [a]

null :: NKeyName a -> Bool

length :: NKeyName a -> Int

elem :: Eq a => a -> NKeyName a -> Bool

maximum :: Ord a => NKeyName a -> a

minimum :: Ord a => NKeyName a -> a

sum :: Num a => NKeyName a -> a

product :: Num a => NKeyName a -> a

Traversable NKeyName

Defined in Nix.Expr.Types

Methods

traverse :: Applicative f => (a -> f b) -> NKeyName a -> f (NKeyName b)

sequenceA :: Applicative f => NKeyName (f a) -> f (NKeyName a)

mapM :: Monad m => (a -> m b) -> NKeyName a -> m (NKeyName b)

sequence :: Monad m => NKeyName (m a) -> m (NKeyName a)

Eq1 NKeyName

Defined in Nix.Expr.Types

Methods

liftEq :: (a -> b -> Bool) -> NKeyName a -> NKeyName b -> Bool

Ord1 NKeyName

Since: 0.10.1

Defined in Nix.Expr.Types

Methods

liftCompare :: (a -> b -> Ordering) -> NKeyName a -> NKeyName b -> Ordering

Show1 NKeyName

Defined in Nix.Expr.Types

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> NKeyName a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [NKeyName a] -> ShowS

NFData1 NKeyName

Defined in Nix.Expr.Types

Methods

liftRnf :: (a -> ()) -> NKeyName a -> ()

Hashable1 NKeyName

Defined in Nix.Expr.Types

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> NKeyName a -> Int

Eq r => Eq (NKeyName r)

Defined in Nix.Expr.Types

Methods

(==) :: NKeyName r -> NKeyName r -> Bool

(/=) :: NKeyName r -> NKeyName r -> Bool

Data r => Data (NKeyName r)

Defined in Nix.Expr.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NKeyName r -> c (NKeyName r)

gunfold :: (forall b r0. Data b => c (b -> r0) -> c r0) -> (forall r1. r1 -> c r1) -> Constr -> c (NKeyName r)

toConstr :: NKeyName r -> Constr

dataTypeOf :: NKeyName r -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (NKeyName r))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (NKeyName r))

gmapT :: (forall b. Data b => b -> b) -> NKeyName r -> NKeyName r

gmapQl :: (r0 -> r' -> r0) -> r0 -> (forall d. Data d => d -> r') -> NKeyName r -> r0

gmapQr :: forall r0 r'. (r' -> r0 -> r0) -> r0 -> (forall d. Data d => d -> r') -> NKeyName r -> r0

gmapQ :: (forall d. Data d => d -> u) -> NKeyName r -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NKeyName r -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NKeyName r -> m (NKeyName r)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NKeyName r -> m (NKeyName r)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NKeyName r -> m (NKeyName r)

Ord r => Ord (NKeyName r)

Defined in Nix.Expr.Types

Methods

compare :: NKeyName r -> NKeyName r -> Ordering

(<) :: NKeyName r -> NKeyName r -> Bool

(<=) :: NKeyName r -> NKeyName r -> Bool

(>) :: NKeyName r -> NKeyName r -> Bool

(>=) :: NKeyName r -> NKeyName r -> Bool

max :: NKeyName r -> NKeyName r -> NKeyName r

min :: NKeyName r -> NKeyName r -> NKeyName r

Read r => Read (NKeyName r)

Defined in Nix.Expr.Types

Methods

readsPrec :: Int -> ReadS (NKeyName r)

readList :: ReadS [NKeyName r]

readPrec :: ReadPrec (NKeyName r)

readListPrec :: ReadPrec [NKeyName r]

Show r => Show (NKeyName r)

Defined in Nix.Expr.Types

Methods

showsPrec :: Int -> NKeyName r -> ShowS

show :: NKeyName r -> String

showList :: [NKeyName r] -> ShowS

IsString (NKeyName r)

Most key names are just static text, so this instance is convenient.

Defined in Nix.Expr.Types

Methods

fromString :: String -> NKeyName r

Generic (NKeyName r)

Defined in Nix.Expr.Types

Associated Types

type Rep (NKeyName r) :: Type -> Type

Methods

from :: NKeyName r -> Rep (NKeyName r) x

to :: Rep (NKeyName r) x -> NKeyName r

Hashable r => Hashable (NKeyName r)

Defined in Nix.Expr.Types

Methods

hashWithSalt :: Int -> NKeyName r -> Int

hash :: NKeyName r -> Int

ToJSON r => ToJSON (NKeyName r)

Defined in Nix.Expr.Types

Methods

toJSON :: NKeyName r -> Value

toEncoding :: NKeyName r -> Encoding

toJSONList :: [NKeyName r] -> Value

toEncodingList :: [NKeyName r] -> Encoding

FromJSON r => FromJSON (NKeyName r)

Defined in Nix.Expr.Types

Methods

parseJSON :: Value -> Parser (NKeyName r)

parseJSONList :: Value -> Parser [NKeyName r]

Binary r => Binary (NKeyName r)

Defined in Nix.Expr.Types

Methods

put :: NKeyName r -> Put

get :: Get (NKeyName r)

putList :: [NKeyName r] -> Put

NFData r => NFData (NKeyName r)

Defined in Nix.Expr.Types

Methods

rnf :: NKeyName r -> ()

Serialise r => Serialise (NKeyName r)

Defined in Nix.Expr.Types

Methods

encode :: NKeyName r -> Encoding

decode :: Decoder s (NKeyName r)

encodeList :: [NKeyName r] -> Encoding

decodeList :: Decoder s [NKeyName r]

type Rep (NKeyName r)

Defined in Nix.Expr.Types

type Rep (NKeyName r) = D1 ('MetaData "NKeyName" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "DynamicKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Antiquoted (NString r) r))) :+: C1 ('MetaCons "StaticKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarName)))

Lens traversals

_StaticKey :: Applicative f => (VarName -> f VarName) -> NKeyName r -> f (NKeyName r)

_DynamicKey :: Applicative f => (Antiquoted (NString r1) r1 -> f (Antiquoted (NString r2) r2)) -> NKeyName r1 -> f (NKeyName r2)

NAttrPath

type NAttrPath r = NonEmpty (NKeyName r)

A selector (for example in a let or an attribute set) is made up of strung-together key names.

StaticKey "x" :| [DynamicKey (Antiquoted y)]  ~  x.${y}

Binding

data Binding r

A single line of the bindings section of a let expression or of a set.

Constructors

NamedVar !(NAttrPath r) !r !SourcePos

An explicit naming.

NamedVar (StaticKey "x" :| [StaticKey "y"]) z SourcePos{}  ~  x.y = z;

Inherit !(Maybe r) ![NKeyName r] !SourcePos

Inheriting an attribute (binding) into the attribute set from the other scope (attribute set). No denoted scope means to inherit from the closest outside scope.

Hask	Nix	pseudocode
Inherit Nothing [StaticKey "a"] SourcePos{}	inherit a;	a = outside.a;
Inherit (pure x) [StaticKey "a"] SourcePos{}	inherit (x) a;	a = x.a;
Inherit (pure x) [StaticKey "a", StaticKey "b"] SourcePos{}	inherit (x) a b;	a = x.a; b = x.b;

(2021-07-07 use details): Inherits the position of the first name through unsafeGetAttrPos. The position of the scope inherited from else - the position of the first member of the binds list.

Instances

Functor Binding

Defined in Nix.Expr.Types

Methods

fmap :: (a -> b) -> Binding a -> Binding b

(<$) :: a -> Binding b -> Binding a

Foldable Binding

Defined in Nix.Expr.Types

Methods

fold :: Monoid m => Binding m -> m

foldMap :: Monoid m => (a -> m) -> Binding a -> m

foldMap' :: Monoid m => (a -> m) -> Binding a -> m

foldr :: (a -> b -> b) -> b -> Binding a -> b

foldr' :: (a -> b -> b) -> b -> Binding a -> b

foldl :: (b -> a -> b) -> b -> Binding a -> b

foldl' :: (b -> a -> b) -> b -> Binding a -> b

foldr1 :: (a -> a -> a) -> Binding a -> a

foldl1 :: (a -> a -> a) -> Binding a -> a

toList :: Binding a -> [a]

null :: Binding a -> Bool

length :: Binding a -> Int

elem :: Eq a => a -> Binding a -> Bool

maximum :: Ord a => Binding a -> a

minimum :: Ord a => Binding a -> a

sum :: Num a => Binding a -> a

product :: Num a => Binding a -> a

Traversable Binding

Defined in Nix.Expr.Types

Methods

traverse :: Applicative f => (a -> f b) -> Binding a -> f (Binding b)

sequenceA :: Applicative f => Binding (f a) -> f (Binding a)

mapM :: Monad m => (a -> m b) -> Binding a -> m (Binding b)

sequence :: Monad m => Binding (m a) -> m (Binding a)

Eq1 Binding

Defined in Nix.Expr.Types

Methods

liftEq :: (a -> b -> Bool) -> Binding a -> Binding b -> Bool

Ord1 Binding

Defined in Nix.Expr.Types

Methods

liftCompare :: (a -> b -> Ordering) -> Binding a -> Binding b -> Ordering

Show1 Binding

Defined in Nix.Expr.Types

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Binding a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Binding a] -> ShowS

NFData1 Binding

Defined in Nix.Expr.Types

Methods

liftRnf :: (a -> ()) -> Binding a -> ()

Hashable1 Binding

Defined in Nix.Expr.Types

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Binding a -> Int

Eq r => Eq (Binding r)

Defined in Nix.Expr.Types

Methods

(==) :: Binding r -> Binding r -> Bool

(/=) :: Binding r -> Binding r -> Bool

Data r => Data (Binding r)

Defined in Nix.Expr.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Binding r -> c (Binding r)

gunfold :: (forall b r0. Data b => c (b -> r0) -> c r0) -> (forall r1. r1 -> c r1) -> Constr -> c (Binding r)

toConstr :: Binding r -> Constr

dataTypeOf :: Binding r -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Binding r))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Binding r))

gmapT :: (forall b. Data b => b -> b) -> Binding r -> Binding r

gmapQl :: (r0 -> r' -> r0) -> r0 -> (forall d. Data d => d -> r') -> Binding r -> r0

gmapQr :: forall r0 r'. (r' -> r0 -> r0) -> r0 -> (forall d. Data d => d -> r') -> Binding r -> r0

gmapQ :: (forall d. Data d => d -> u) -> Binding r -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Binding r -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Binding r -> m (Binding r)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Binding r -> m (Binding r)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Binding r -> m (Binding r)

Ord r => Ord (Binding r)

Defined in Nix.Expr.Types

Methods

compare :: Binding r -> Binding r -> Ordering

(<) :: Binding r -> Binding r -> Bool

(<=) :: Binding r -> Binding r -> Bool

(>) :: Binding r -> Binding r -> Bool

(>=) :: Binding r -> Binding r -> Bool

max :: Binding r -> Binding r -> Binding r

min :: Binding r -> Binding r -> Binding r

Show r => Show (Binding r)

Defined in Nix.Expr.Types

Methods

showsPrec :: Int -> Binding r -> ShowS

show :: Binding r -> String

showList :: [Binding r] -> ShowS

Generic (Binding r)

Defined in Nix.Expr.Types

Associated Types

type Rep (Binding r) :: Type -> Type

Methods

from :: Binding r -> Rep (Binding r) x

to :: Rep (Binding r) x -> Binding r

Hashable r => Hashable (Binding r)

Defined in Nix.Expr.Types

Methods

hashWithSalt :: Int -> Binding r -> Int

hash :: Binding r -> Int

ToJSON r => ToJSON (Binding r)

Defined in Nix.Expr.Types

Methods

toJSON :: Binding r -> Value

toEncoding :: Binding r -> Encoding

toJSONList :: [Binding r] -> Value

toEncodingList :: [Binding r] -> Encoding

FromJSON r => FromJSON (Binding r)

Defined in Nix.Expr.Types

Methods

parseJSON :: Value -> Parser (Binding r)

parseJSONList :: Value -> Parser [Binding r]

Binary r => Binary (Binding r)

Defined in Nix.Expr.Types

Methods

put :: Binding r -> Put

get :: Get (Binding r)

putList :: [Binding r] -> Put

NFData r => NFData (Binding r)

Defined in Nix.Expr.Types

Methods

rnf :: Binding r -> ()

Serialise r => Serialise (Binding r)

Defined in Nix.Expr.Types

Methods

encode :: Binding r -> Encoding

decode :: Decoder s (Binding r)

encodeList :: [Binding r] -> Encoding

decodeList :: Decoder s [Binding r]

Generic1 Binding

Defined in Nix.Expr.Types

Associated Types

type Rep1 Binding :: k -> Type

Methods

from1 :: forall (a :: k). Binding a -> Rep1 Binding a

to1 :: forall (a :: k). Rep1 Binding a -> Binding a

type Rep (Binding r)

Defined in Nix.Expr.Types

type Rep (Binding r) = D1 ('MetaData "Binding" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "NamedVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NAttrPath r)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos))) :+: C1 ('MetaCons "Inherit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe r)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [NKeyName r]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos))))

type Rep1 Binding

Defined in Nix.Expr.Types

type Rep1 Binding = D1 ('MetaData "Binding" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "NamedVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (NonEmpty :.: Rec1 NKeyName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos))) :+: C1 ('MetaCons "Inherit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 Maybe) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) ([] :.: Rec1 NKeyName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos))))

Lens traversals

_Inherit :: Applicative f => ((Maybe r, [NKeyName r], SourcePos) -> f (Maybe r, [NKeyName r], SourcePos)) -> Binding r -> f (Binding r)

_NamedVar :: Applicative f => ((NAttrPath r, r, SourcePos) -> f (NAttrPath r, r, SourcePos)) -> Binding r -> f (Binding r)

NRecordType

data NRecordType

NRecordType distinguishes between recursive and non-recursive attribute sets.

Constructors

NNonRecursive

    { ... }

NRecursive

rec { ... }

Instances

Bounded NRecordType

Defined in Nix.Expr.Types

Methods

minBound :: NRecordType

maxBound :: NRecordType

Enum NRecordType

Defined in Nix.Expr.Types

Methods

succ :: NRecordType -> NRecordType

pred :: NRecordType -> NRecordType

toEnum :: Int -> NRecordType

fromEnum :: NRecordType -> Int

enumFrom :: NRecordType -> [NRecordType]

enumFromThen :: NRecordType -> NRecordType -> [NRecordType]

enumFromTo :: NRecordType -> NRecordType -> [NRecordType]

enumFromThenTo :: NRecordType -> NRecordType -> NRecordType -> [NRecordType]

Eq NRecordType

Defined in Nix.Expr.Types

Methods

(==) :: NRecordType -> NRecordType -> Bool

(/=) :: NRecordType -> NRecordType -> Bool

Data NRecordType

Defined in Nix.Expr.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NRecordType -> c NRecordType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NRecordType

toConstr :: NRecordType -> Constr

dataTypeOf :: NRecordType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NRecordType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NRecordType)

gmapT :: (forall b. Data b => b -> b) -> NRecordType -> NRecordType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NRecordType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NRecordType -> r

gmapQ :: (forall d. Data d => d -> u) -> NRecordType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NRecordType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NRecordType -> m NRecordType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NRecordType -> m NRecordType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NRecordType -> m NRecordType

Ord NRecordType

Defined in Nix.Expr.Types

Methods

compare :: NRecordType -> NRecordType -> Ordering

(<) :: NRecordType -> NRecordType -> Bool

(<=) :: NRecordType -> NRecordType -> Bool

(>) :: NRecordType -> NRecordType -> Bool

(>=) :: NRecordType -> NRecordType -> Bool

max :: NRecordType -> NRecordType -> NRecordType

min :: NRecordType -> NRecordType -> NRecordType

Read NRecordType

Defined in Nix.Expr.Types

Methods

readsPrec :: Int -> ReadS NRecordType

readList :: ReadS [NRecordType]

readPrec :: ReadPrec NRecordType

readListPrec :: ReadPrec [NRecordType]

Show NRecordType

Defined in Nix.Expr.Types

Methods

showsPrec :: Int -> NRecordType -> ShowS

show :: NRecordType -> String

showList :: [NRecordType] -> ShowS

Generic NRecordType

Defined in Nix.Expr.Types

Associated Types

type Rep NRecordType :: Type -> Type

Methods

from :: NRecordType -> Rep NRecordType x

to :: Rep NRecordType x -> NRecordType

Hashable NRecordType

Defined in Nix.Expr.Types

Methods

hashWithSalt :: Int -> NRecordType -> Int

hash :: NRecordType -> Int

ToJSON NRecordType

Defined in Nix.Expr.Types

Methods

toJSON :: NRecordType -> Value

toEncoding :: NRecordType -> Encoding

toJSONList :: [NRecordType] -> Value

toEncodingList :: [NRecordType] -> Encoding

FromJSON NRecordType

Defined in Nix.Expr.Types

Methods

parseJSON :: Value -> Parser NRecordType

parseJSONList :: Value -> Parser [NRecordType]

Binary NRecordType

Defined in Nix.Expr.Types

Methods

put :: NRecordType -> Put

get :: Get NRecordType

putList :: [NRecordType] -> Put

NFData NRecordType

Defined in Nix.Expr.Types

Methods

rnf :: NRecordType -> ()

Serialise NRecordType

Defined in Nix.Expr.Types

Methods

encode :: NRecordType -> Encoding

decode :: Decoder s NRecordType

encodeList :: [NRecordType] -> Encoding

decodeList :: Decoder s [NRecordType]

type Rep NRecordType

Defined in Nix.Expr.Types

type Rep NRecordType = D1 ('MetaData "NRecordType" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "NNonRecursive" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NRecursive" 'PrefixI 'False) (U1 :: Type -> Type))

NUnaryOp

data NUnaryOp

There are two unary operations: logical not and integer negation.

Constructors

NNeg

-

NNot

!

Instances

Bounded NUnaryOp

Defined in Nix.Expr.Types

Methods

minBound :: NUnaryOp

maxBound :: NUnaryOp

Enum NUnaryOp

Defined in Nix.Expr.Types

Methods

succ :: NUnaryOp -> NUnaryOp

pred :: NUnaryOp -> NUnaryOp

toEnum :: Int -> NUnaryOp

fromEnum :: NUnaryOp -> Int

enumFrom :: NUnaryOp -> [NUnaryOp]

enumFromThen :: NUnaryOp -> NUnaryOp -> [NUnaryOp]

enumFromTo :: NUnaryOp -> NUnaryOp -> [NUnaryOp]

enumFromThenTo :: NUnaryOp -> NUnaryOp -> NUnaryOp -> [NUnaryOp]

Eq NUnaryOp

Defined in Nix.Expr.Types

Methods

(==) :: NUnaryOp -> NUnaryOp -> Bool

(/=) :: NUnaryOp -> NUnaryOp -> Bool

Data NUnaryOp

Defined in Nix.Expr.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NUnaryOp -> c NUnaryOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NUnaryOp

toConstr :: NUnaryOp -> Constr

dataTypeOf :: NUnaryOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NUnaryOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NUnaryOp)

gmapT :: (forall b. Data b => b -> b) -> NUnaryOp -> NUnaryOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NUnaryOp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NUnaryOp -> r

gmapQ :: (forall d. Data d => d -> u) -> NUnaryOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NUnaryOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NUnaryOp -> m NUnaryOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NUnaryOp -> m NUnaryOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NUnaryOp -> m NUnaryOp

Ord NUnaryOp

Defined in Nix.Expr.Types

Methods

compare :: NUnaryOp -> NUnaryOp -> Ordering

(<) :: NUnaryOp -> NUnaryOp -> Bool

(<=) :: NUnaryOp -> NUnaryOp -> Bool

(>) :: NUnaryOp -> NUnaryOp -> Bool

(>=) :: NUnaryOp -> NUnaryOp -> Bool

max :: NUnaryOp -> NUnaryOp -> NUnaryOp

min :: NUnaryOp -> NUnaryOp -> NUnaryOp

Read NUnaryOp

Defined in Nix.Expr.Types

Methods

readsPrec :: Int -> ReadS NUnaryOp

readList :: ReadS [NUnaryOp]

readPrec :: ReadPrec NUnaryOp

readListPrec :: ReadPrec [NUnaryOp]

Show NUnaryOp

Defined in Nix.Expr.Types

Methods

showsPrec :: Int -> NUnaryOp -> ShowS

show :: NUnaryOp -> String

showList :: [NUnaryOp] -> ShowS

Generic NUnaryOp

Defined in Nix.Expr.Types

Associated Types

type Rep NUnaryOp :: Type -> Type

Methods

from :: NUnaryOp -> Rep NUnaryOp x

to :: Rep NUnaryOp x -> NUnaryOp

Hashable NUnaryOp

Defined in Nix.Expr.Types

Methods

hashWithSalt :: Int -> NUnaryOp -> Int

hash :: NUnaryOp -> Int

ToJSON NUnaryOp

Defined in Nix.Expr.Types

Methods

toJSON :: NUnaryOp -> Value

toEncoding :: NUnaryOp -> Encoding

toJSONList :: [NUnaryOp] -> Value

toEncodingList :: [NUnaryOp] -> Encoding

FromJSON NUnaryOp

Defined in Nix.Expr.Types

Methods

parseJSON :: Value -> Parser NUnaryOp

parseJSONList :: Value -> Parser [NUnaryOp]

Binary NUnaryOp

Defined in Nix.Expr.Types

Methods

put :: NUnaryOp -> Put

get :: Get NUnaryOp

putList :: [NUnaryOp] -> Put

NFData NUnaryOp

Defined in Nix.Expr.Types

Methods

rnf :: NUnaryOp -> ()

Serialise NUnaryOp

Defined in Nix.Expr.Types

Methods

encode :: NUnaryOp -> Encoding

decode :: Decoder s NUnaryOp

encodeList :: [NUnaryOp] -> Encoding

decodeList :: Decoder s [NUnaryOp]

type Rep NUnaryOp

Defined in Nix.Expr.Types

type Rep NUnaryOp = D1 ('MetaData "NUnaryOp" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) (C1 ('MetaCons "NNeg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NNot" 'PrefixI 'False) (U1 :: Type -> Type))

Lens traversals

_NNot :: Applicative f => (() -> f ()) -> NUnaryOp -> f NUnaryOp

_NNeg :: Applicative f => (() -> f ()) -> NUnaryOp -> f NUnaryOp

NBinaryOp

data NBinaryOp

Binary operators expressible in the nix language.

Constructors

NEq

Equality (==)

NNEq

Inequality (!=)

NLt

Less than (<)

NLte

Less than or equal (<=)

NGt

Greater than (>)

NGte

Greater than or equal (>=)

NAnd

Logical and (&&)

NOr

Logical or (||)

NImpl

Logical implication (->)

NUpdate

Get the left attr set, extend it with the right one & override equal keys (//)

NPlus

Addition (+)

NMinus

Subtraction (-)

NMult

Multiplication (*)

NDiv

Division (/)

NConcat

List concatenation (++)

NApp

Apply a function to an argument.

NBinary NApp f x  ~  f x

Instances

Bounded NBinaryOp

Defined in Nix.Expr.Types

Methods

minBound :: NBinaryOp

maxBound :: NBinaryOp

Enum NBinaryOp

Defined in Nix.Expr.Types

Methods

succ :: NBinaryOp -> NBinaryOp

pred :: NBinaryOp -> NBinaryOp

toEnum :: Int -> NBinaryOp

fromEnum :: NBinaryOp -> Int

enumFrom :: NBinaryOp -> [NBinaryOp]

enumFromThen :: NBinaryOp -> NBinaryOp -> [NBinaryOp]

enumFromTo :: NBinaryOp -> NBinaryOp -> [NBinaryOp]

enumFromThenTo :: NBinaryOp -> NBinaryOp -> NBinaryOp -> [NBinaryOp]

Eq NBinaryOp

Defined in Nix.Expr.Types

Methods

(==) :: NBinaryOp -> NBinaryOp -> Bool

(/=) :: NBinaryOp -> NBinaryOp -> Bool

Data NBinaryOp

Defined in Nix.Expr.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NBinaryOp -> c NBinaryOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NBinaryOp

toConstr :: NBinaryOp -> Constr

dataTypeOf :: NBinaryOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NBinaryOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NBinaryOp)

gmapT :: (forall b. Data b => b -> b) -> NBinaryOp -> NBinaryOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NBinaryOp -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NBinaryOp -> r

gmapQ :: (forall d. Data d => d -> u) -> NBinaryOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NBinaryOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NBinaryOp -> m NBinaryOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NBinaryOp -> m NBinaryOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NBinaryOp -> m NBinaryOp

Ord NBinaryOp

Defined in Nix.Expr.Types

Methods

compare :: NBinaryOp -> NBinaryOp -> Ordering

(<) :: NBinaryOp -> NBinaryOp -> Bool

(<=) :: NBinaryOp -> NBinaryOp -> Bool

(>) :: NBinaryOp -> NBinaryOp -> Bool

(>=) :: NBinaryOp -> NBinaryOp -> Bool

max :: NBinaryOp -> NBinaryOp -> NBinaryOp

min :: NBinaryOp -> NBinaryOp -> NBinaryOp

Read NBinaryOp

Defined in Nix.Expr.Types

Methods

readsPrec :: Int -> ReadS NBinaryOp

readList :: ReadS [NBinaryOp]

readPrec :: ReadPrec NBinaryOp

readListPrec :: ReadPrec [NBinaryOp]

Show NBinaryOp

Defined in Nix.Expr.Types

Methods

showsPrec :: Int -> NBinaryOp -> ShowS

show :: NBinaryOp -> String

showList :: [NBinaryOp] -> ShowS

Generic NBinaryOp

Defined in Nix.Expr.Types

Associated Types

type Rep NBinaryOp :: Type -> Type

Methods

from :: NBinaryOp -> Rep NBinaryOp x

to :: Rep NBinaryOp x -> NBinaryOp

Hashable NBinaryOp

Defined in Nix.Expr.Types

Methods

hashWithSalt :: Int -> NBinaryOp -> Int

hash :: NBinaryOp -> Int

ToJSON NBinaryOp

Defined in Nix.Expr.Types

Methods

toJSON :: NBinaryOp -> Value

toEncoding :: NBinaryOp -> Encoding

toJSONList :: [NBinaryOp] -> Value

toEncodingList :: [NBinaryOp] -> Encoding

FromJSON NBinaryOp

Defined in Nix.Expr.Types

Methods

parseJSON :: Value -> Parser NBinaryOp

parseJSONList :: Value -> Parser [NBinaryOp]

Binary NBinaryOp

Defined in Nix.Expr.Types

Methods

put :: NBinaryOp -> Put

get :: Get NBinaryOp

putList :: [NBinaryOp] -> Put

NFData NBinaryOp

Defined in Nix.Expr.Types

Methods

rnf :: NBinaryOp -> ()

Serialise NBinaryOp

Defined in Nix.Expr.Types

Methods

encode :: NBinaryOp -> Encoding

decode :: Decoder s NBinaryOp

encodeList :: [NBinaryOp] -> Encoding

decodeList :: Decoder s [NBinaryOp]

type Rep NBinaryOp

Defined in Nix.Expr.Types

type Rep NBinaryOp = D1 ('MetaData "NBinaryOp" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) ((((C1 ('MetaCons "NEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NNEq" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NLt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NLte" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "NGt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NGte" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NAnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NOr" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "NImpl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NUpdate" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NPlus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NMinus" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "NMult" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NDiv" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NConcat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NApp" 'PrefixI 'False) (U1 :: Type -> Type)))))

Lens traversals

_NApp :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NConcat :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NDiv :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NMult :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NMinus :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NPlus :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NUpdate :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NImpl :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NOr :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NAnd :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NGte :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NGt :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NLte :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NLt :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NNEq :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

_NEq :: Applicative f => (() -> f ()) -> NBinaryOp -> f NBinaryOp

NExprF - Nix expressions, base functor

data NExprF r

The main Nix expression type. As it is polimophic, has a functor, which allows to traverse expressions and map functions over them. The actual NExpr type is a fixed point of this functor, defined below.

Constructors

NConstant !NAtom

Constants: ints, floats, bools, URIs, and null.

NStr !(NString r)

A string, with interpolated expressions.

NSym !VarName

A variable. For example, in the expression f a, f is represented as NSym "f" and a as NSym "a".

NSym "x"                                    ~  x

NList ![r]

A list literal.

NList [x,y]                                 ~  [ x y ]

NSet !NRecordType ![Binding r]

An attribute set literal

NSet NRecursive    [NamedVar x y _]         ~  rec { x = y; }
NSet NNonRecursive [Inherit Nothing [x] _]  ~  { inherit x; }

NLiteralPath !FilePath

A path expression, which is evaluated to a store path. The path here can be relative, in which case it's evaluated relative to the file in which it appears.

NLiteralPath "/x"                           ~  /x
NLiteralPath "x/y"                          ~  x/y

NEnvPath !FilePath

A path which refers to something in the Nix search path (the NIX_PATH environment variable. For example, nixpkgs/pkgs.

NEnvPath "x"                                ~  <x>

NUnary !NUnaryOp !r

Application of a unary operator to an expression.

NUnary NNeg x                               ~  - x
NUnary NNot x                               ~  ! x

NBinary !NBinaryOp !r !r

Application of a binary operator to two expressions.

NBinary NPlus x y                           ~  x + y
NBinary NApp  f x                           ~  f x

NSelect !r !(NAttrPath r) !(Maybe r)

Dot-reference into an attribute set, optionally providing an alternative if the key doesn't exist.

NSelect s (x :| []) Nothing                 ~  s.x
NSelect s (x :| []) (pure y)                ~  s.x or y

NHasAttr !r !(NAttrPath r)

Ask if a set contains a given attribute path.

NHasAttr s (x :| [])                        ~  s ? x

NAbs !(Params r) !r

A function literal (lambda abstraction).

NAbs (Param "x") y                          ~  x: y

NLet ![Binding r] !r

Evaluate the second argument after introducing the bindings.

NLet []                    x                ~  let in x
NLet [NamedVar x y _]      z                ~  let x = y; in z
NLet [Inherit Nothing x _] y                ~  let inherit x; in y

NIf !r !r !r

If-then-else statement.

NIf x y z                                   ~  if x then y else z

NWith !r !r

Evaluate an attribute set, bring its bindings into scope, and evaluate the second argument.

NWith x y                                   ~  with x; y

NAssert !r !r

Assert that the first returns true before evaluating the second.

NAssert x y                                 ~  assert x; y

NSynHole !VarName

Syntactic hole.

See https://github.com/haskell-nix/hnix/issues/197 for context.

NSynHole "x"                                ~  ^x

Instances

Functor NExprF

Defined in Nix.Expr.Types

Methods

fmap :: (a -> b) -> NExprF a -> NExprF b

(<$) :: a -> NExprF b -> NExprF a

IsString NExpr

We make an IsString for expressions, where the string is interpreted as an identifier. This is the most common use-case...

Defined in Nix.Expr.Types

Methods

fromString :: String -> NExpr

Foldable NExprF

Defined in Nix.Expr.Types

Methods

fold :: Monoid m => NExprF m -> m

foldMap :: Monoid m => (a -> m) -> NExprF a -> m

foldMap' :: Monoid m => (a -> m) -> NExprF a -> m

foldr :: (a -> b -> b) -> b -> NExprF a -> b

foldr' :: (a -> b -> b) -> b -> NExprF a -> b

foldl :: (b -> a -> b) -> b -> NExprF a -> b

foldl' :: (b -> a -> b) -> b -> NExprF a -> b

foldr1 :: (a -> a -> a) -> NExprF a -> a

foldl1 :: (a -> a -> a) -> NExprF a -> a

toList :: NExprF a -> [a]

null :: NExprF a -> Bool

length :: NExprF a -> Int

elem :: Eq a => a -> NExprF a -> Bool

maximum :: Ord a => NExprF a -> a

minimum :: Ord a => NExprF a -> a

sum :: Num a => NExprF a -> a

product :: Num a => NExprF a -> a

Traversable NExprF

Defined in Nix.Expr.Types

Methods

traverse :: Applicative f => (a -> f b) -> NExprF a -> f (NExprF b)

sequenceA :: Applicative f => NExprF (f a) -> f (NExprF a)

mapM :: Monad m => (a -> m b) -> NExprF a -> m (NExprF b)

sequence :: Monad m => NExprF (m a) -> m (NExprF a)

Eq1 NExprF

Defined in Nix.Expr.Types

Methods

liftEq :: (a -> b -> Bool) -> NExprF a -> NExprF b -> Bool

Ord1 NExprF

Defined in Nix.Expr.Types

Methods

liftCompare :: (a -> b -> Ordering) -> NExprF a -> NExprF b -> Ordering

Show1 NExprF

Defined in Nix.Expr.Types

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> NExprF a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [NExprF a] -> ShowS

Binary NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

put :: NExprLoc -> Put

get :: Get NExprLoc

putList :: [NExprLoc] -> Put

NFData1 NExprF

Defined in Nix.Expr.Types

Methods

liftRnf :: (a -> ()) -> NExprF a -> ()

Hashable1 NExprF

Defined in Nix.Expr.Types

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> NExprF a -> Int

Serialise NExpr

Defined in Nix.Expr.Types

Methods

encode :: NExpr -> Encoding

decode :: Decoder s NExpr

encodeList :: [NExpr] -> Encoding

decodeList :: Decoder s [NExpr]

Serialise NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

encode :: NExprLoc -> Encoding

decode :: Decoder s NExprLoc

encodeList :: [NExprLoc] -> Encoding

decodeList :: Decoder s [NExprLoc]

ToExpr NExprLoc

Defined in Nix.TH

Methods

toExpr :: NExprLoc -> NExprLoc

Lift NExpr

Defined in Nix.Expr.Types

Methods

lift :: NExpr -> Q Exp

liftTyped :: NExpr -> Q (TExp NExpr)

Convertible e t f m => ToValue Bool m (NExprF (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: Bool -> m (NExprF (NValue t f m))

Convertible e t f m => ToValue () m (NExprF (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: () -> m (NExprF (NValue t f m))

Eq r => Eq (NExprF r)

Defined in Nix.Expr.Types

Methods

(==) :: NExprF r -> NExprF r -> Bool

(/=) :: NExprF r -> NExprF r -> Bool

Data r => Data (NExprF r)

Defined in Nix.Expr.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NExprF r -> c (NExprF r)

gunfold :: (forall b r0. Data b => c (b -> r0) -> c r0) -> (forall r1. r1 -> c r1) -> Constr -> c (NExprF r)

toConstr :: NExprF r -> Constr

dataTypeOf :: NExprF r -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (NExprF r))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (NExprF r))

gmapT :: (forall b. Data b => b -> b) -> NExprF r -> NExprF r

gmapQl :: (r0 -> r' -> r0) -> r0 -> (forall d. Data d => d -> r') -> NExprF r -> r0

gmapQr :: forall r0 r'. (r' -> r0 -> r0) -> r0 -> (forall d. Data d => d -> r') -> NExprF r -> r0

gmapQ :: (forall d. Data d => d -> u) -> NExprF r -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NExprF r -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NExprF r -> m (NExprF r)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NExprF r -> m (NExprF r)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NExprF r -> m (NExprF r)

Ord r => Ord (NExprF r)

Defined in Nix.Expr.Types

Methods

compare :: NExprF r -> NExprF r -> Ordering

(<) :: NExprF r -> NExprF r -> Bool

(<=) :: NExprF r -> NExprF r -> Bool

(>) :: NExprF r -> NExprF r -> Bool

(>=) :: NExprF r -> NExprF r -> Bool

max :: NExprF r -> NExprF r -> NExprF r

min :: NExprF r -> NExprF r -> NExprF r

Show r => Show (NExprF r)

Defined in Nix.Expr.Types

Methods

showsPrec :: Int -> NExprF r -> ShowS

show :: NExprF r -> String

showList :: [NExprF r] -> ShowS

Generic (NExprF r)

Defined in Nix.Expr.Types

Associated Types

type Rep (NExprF r) :: Type -> Type

Methods

from :: NExprF r -> Rep (NExprF r) x

to :: Rep (NExprF r) x -> NExprF r

Hashable r => Hashable (NExprF r)

Defined in Nix.Expr.Types

Methods

hashWithSalt :: Int -> NExprF r -> Int

hash :: NExprF r -> Int

ToJSON r => ToJSON (NExprF r)

Defined in Nix.Expr.Types

Methods

toJSON :: NExprF r -> Value

toEncoding :: NExprF r -> Encoding

toJSONList :: [NExprF r] -> Value

toEncodingList :: [NExprF r] -> Encoding

FromJSON r => FromJSON (NExprF r)

Defined in Nix.Expr.Types

Methods

parseJSON :: Value -> Parser (NExprF r)

parseJSONList :: Value -> Parser [NExprF r]

Binary r => Binary (NExprF r)

Defined in Nix.Expr.Types

Methods

put :: NExprF r -> Put

get :: Get (NExprF r)

putList :: [NExprF r] -> Put

Binary r => Binary (NExprLocF r)

Defined in Nix.Expr.Types.Annotated

Methods

put :: NExprLocF r -> Put

get :: Get (NExprLocF r)

putList :: [NExprLocF r] -> Put

NFData r => NFData (NExprF r)

Defined in Nix.Expr.Types

Methods

rnf :: NExprF r -> ()

Serialise r => Serialise (NExprF r)

Defined in Nix.Expr.Types

Methods

encode :: NExprF r -> Encoding

decode :: Decoder s (NExprF r)

encodeList :: [NExprF r] -> Encoding

decodeList :: Decoder s [NExprF r]

Serialise r => Serialise (NExprLocF r)

Defined in Nix.Expr.Types.Annotated

Methods

encode :: NExprLocF r -> Encoding

decode :: Decoder s (NExprLocF r)

encodeList :: [NExprLocF r] -> Encoding

decodeList :: Decoder s [NExprLocF r]

Generic1 NExprF

Defined in Nix.Expr.Types

Associated Types

type Rep1 NExprF :: k -> Type

Methods

from1 :: forall (a :: k). NExprF a -> Rep1 NExprF a

to1 :: forall (a :: k). Rep1 NExprF a -> NExprF a

Monad m => MonadState (HashMap FilePath NExprLoc, HashMap Text Text) (StandardTF r m)

Defined in Nix.Standard

Methods

get :: StandardTF r m (HashMap FilePath NExprLoc, HashMap Text Text)

put :: (HashMap FilePath NExprLoc, HashMap Text Text) -> StandardTF r m ()

state :: ((HashMap FilePath NExprLoc, HashMap Text Text) -> (a, (HashMap FilePath NExprLoc, HashMap Text Text))) -> StandardTF r m a

type Rep (NExprF r)

Defined in Nix.Expr.Types

type Rep (NExprF r) = D1 ('MetaData "NExprF" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) ((((C1 ('MetaCons "NConstant" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NAtom)) :+: C1 ('MetaCons "NStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NString r)))) :+: (C1 ('MetaCons "NSym" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarName)) :+: C1 ('MetaCons "NList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [r])))) :+: ((C1 ('MetaCons "NSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NRecordType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Binding r])) :+: C1 ('MetaCons "NLiteralPath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath))) :+: (C1 ('MetaCons "NEnvPath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath)) :+: C1 ('MetaCons "NUnary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NUnaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r))))) :+: (((C1 ('MetaCons "NBinary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NBinaryOp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r))) :+: C1 ('MetaCons "NSelect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NAttrPath r)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe r))))) :+: (C1 ('MetaCons "NHasAttr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NAttrPath r))) :+: C1 ('MetaCons "NAbs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Params r)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r)))) :+: ((C1 ('MetaCons "NLet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Binding r]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r)) :+: C1 ('MetaCons "NIf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r)))) :+: (C1 ('MetaCons "NWith" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r)) :+: (C1 ('MetaCons "NAssert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 r)) :+: C1 ('MetaCons "NSynHole" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarName)))))))

type Rep1 NExprF

Defined in Nix.Expr.Types

type Rep1 NExprF = D1 ('MetaData "NExprF" "Nix.Expr.Types" "hnix-0.14.0.2-KvDDm0Z4janGxSnWOFKaQP" 'False) ((((C1 ('MetaCons "NConstant" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NAtom)) :+: C1 ('MetaCons "NStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 NString))) :+: (C1 ('MetaCons "NSym" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarName)) :+: C1 ('MetaCons "NList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 [])))) :+: ((C1 ('MetaCons "NSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NRecordType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) ([] :.: Rec1 Binding)) :+: C1 ('MetaCons "NLiteralPath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath))) :+: (C1 ('MetaCons "NEnvPath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath)) :+: C1 ('MetaCons "NUnary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NUnaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)))) :+: (((C1 ('MetaCons "NBinary" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NBinaryOp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)) :+: C1 ('MetaCons "NSelect" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (NonEmpty :.: Rec1 NKeyName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 Maybe)))) :+: (C1 ('MetaCons "NHasAttr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (NonEmpty :.: Rec1 NKeyName)) :+: C1 ('MetaCons "NAbs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec1 Params) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))) :+: ((C1 ('MetaCons "NLet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) ([] :.: Rec1 Binding) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1) :+: C1 ('MetaCons "NIf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))) :+: (C1 ('MetaCons "NWith" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1) :+: (C1 ('MetaCons "NAssert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1) :+: C1 ('MetaCons "NSynHole" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VarName)))))))

Lens traversals

_NSynHole :: Applicative f => (VarName -> f VarName) -> NExprF r -> f (NExprF r)

_NAssert :: Applicative f => ((r, r) -> f (r, r)) -> NExprF r -> f (NExprF r)

_NWith :: Applicative f => ((r, r) -> f (r, r)) -> NExprF r -> f (NExprF r)

_NIf :: Applicative f => ((r, r, r) -> f (r, r, r)) -> NExprF r -> f (NExprF r)

_NLet :: Applicative f => (([Binding r], r) -> f ([Binding r], r)) -> NExprF r -> f (NExprF r)

_NAbs :: Applicative f => ((Params r, r) -> f (Params r, r)) -> NExprF r -> f (NExprF r)

_NHasAttr :: Applicative f => ((r, NAttrPath r) -> f (r, NAttrPath r)) -> NExprF r -> f (NExprF r)

_NSelect :: Applicative f => ((r, NAttrPath r, Maybe r) -> f (r, NAttrPath r, Maybe r)) -> NExprF r -> f (NExprF r)

_NBinary :: Applicative f => ((NBinaryOp, r, r) -> f (NBinaryOp, r, r)) -> NExprF r -> f (NExprF r)

_NUnary :: Applicative f => ((NUnaryOp, r) -> f (NUnaryOp, r)) -> NExprF r -> f (NExprF r)

_NEnvPath :: Applicative f => (FilePath -> f FilePath) -> NExprF r -> f (NExprF r)

_NLiteralPath :: Applicative f => (FilePath -> f FilePath) -> NExprF r -> f (NExprF r)

_NSet :: Applicative f => ((NRecordType, [Binding r]) -> f (NRecordType, [Binding r])) -> NExprF r -> f (NExprF r)

_NList :: Applicative f => ([r] -> f [r]) -> NExprF r -> f (NExprF r)

_NSym :: Applicative f => (VarName -> f VarName) -> NExprF r -> f (NExprF r)

_NStr :: Applicative f => (NString r -> f (NString r)) -> NExprF r -> f (NExprF r)

_NConstant :: Applicative f => (NAtom -> f NAtom) -> NExprF r -> f (NExprF r)

NExpr

type NExpr = Fix NExprF

The monomorphic expression type is a fixed point of the polymorphic one.

Methods

hashAt :: VarName -> Lens' (AttrSet v) (Maybe v)

paramName :: Params r -> Maybe VarName

Get the name out of the parameter (there might be none).

stripPositionInfo :: NExpr -> NExpr

nullPos :: SourcePos

Dead code

class NExprAnn

class NExprAnn ann g | g -> ann where

Methods

fromNExpr :: g r -> (NExprF r, ann)

toNExpr :: (NExprF r, ann) -> g r

Other

ekey :: NExprAnn ann g => NonEmpty Text -> SourcePos -> Lens' (Fix g) (Maybe (Fix g))

Orphan instances

Hashable Pos

Methods

hashWithSalt :: Int -> Pos -> Int

hash :: Pos -> Int

Hashable SourcePos

Methods

hashWithSalt :: Int -> SourcePos -> Int

hash :: SourcePos -> Int

ToJSON Pos

Methods

toJSON :: Pos -> Value

toEncoding :: Pos -> Encoding

toJSONList :: [Pos] -> Value

toEncodingList :: [Pos] -> Encoding

ToJSON SourcePos

Methods

toJSON :: SourcePos -> Value

toEncoding :: SourcePos -> Encoding

toJSONList :: [SourcePos] -> Value

toEncodingList :: [SourcePos] -> Encoding

FromJSON Pos

Methods

parseJSON :: Value -> Parser Pos

parseJSONList :: Value -> Parser [Pos]

FromJSON SourcePos

Methods

parseJSON :: Value -> Parser SourcePos

parseJSONList :: Value -> Parser [SourcePos]

Binary Pos

Methods

put :: Pos -> Put

get :: Get Pos

putList :: [Pos] -> Put

Binary SourcePos

Methods

put :: SourcePos -> Put

get :: Get SourcePos

putList :: [SourcePos] -> Put

Serialise Pos

Methods

encode :: Pos -> Encoding

decode :: Decoder s Pos

encodeList :: [Pos] -> Encoding

decodeList :: Decoder s [Pos]

Serialise SourcePos

Methods

encode :: SourcePos -> Encoding

decode :: Decoder s SourcePos

encodeList :: [SourcePos] -> Encoding

decodeList :: Decoder s [SourcePos]