Nix.Expr.Types.Annotated

The source location annotated nix expression type and supporting types.

Documentation

data Ann ann a

A type constructor applied to a type along with an annotation

Intended to be used with Fix: type MyType = Fix (Compose (Ann Annotation) F)

Constructors

Ann

Fields

• annotation :: ann
• annotated :: a

Instances

Hashable NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

hashWithSalt :: Int -> NExprLoc -> Int

hash :: NExprLoc -> Int

ToJSON2 Ann

Defined in Nix.Expr.Types.Annotated

Methods

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

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

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

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

FromJSON2 Ann

Defined in Nix.Expr.Types.Annotated

Methods

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

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

Eq2 Ann

Defined in Nix.Expr.Types.Annotated

Methods

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

Ord2 Ann

Defined in Nix.Expr.Types.Annotated

Methods

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

Read2 Ann

Defined in Nix.Expr.Types.Annotated

Methods

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

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

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

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

Show2 Ann

Defined in Nix.Expr.Types.Annotated

Methods

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

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

Binary NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

put :: NExprLoc -> Put

get :: Get NExprLoc

putList :: [NExprLoc] -> Put

NFData NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

rnf :: NExprLoc -> ()

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

Functor (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

fmap :: (a -> b) -> Ann ann a -> Ann ann b

(<$) :: a -> Ann ann b -> Ann ann a

Foldable (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

fold :: Monoid m => Ann ann m -> m

foldMap :: Monoid m => (a -> m) -> Ann ann a -> m

foldMap' :: Monoid m => (a -> m) -> Ann ann a -> m

foldr :: (a -> b -> b) -> b -> Ann ann a -> b

foldr' :: (a -> b -> b) -> b -> Ann ann a -> b

foldl :: (b -> a -> b) -> b -> Ann ann a -> b

foldl' :: (b -> a -> b) -> b -> Ann ann a -> b

foldr1 :: (a -> a -> a) -> Ann ann a -> a

foldl1 :: (a -> a -> a) -> Ann ann a -> a

toList :: Ann ann a -> [a]

null :: Ann ann a -> Bool

length :: Ann ann a -> Int

elem :: Eq a => a -> Ann ann a -> Bool

maximum :: Ord a => Ann ann a -> a

minimum :: Ord a => Ann ann a -> a

sum :: Num a => Ann ann a -> a

product :: Num a => Ann ann a -> a

Traversable (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

traverse :: Applicative f => (a -> f b) -> Ann ann a -> f (Ann ann b)

sequenceA :: Applicative f => Ann ann (f a) -> f (Ann ann a)

mapM :: Monad m => (a -> m b) -> Ann ann a -> m (Ann ann b)

sequence :: Monad m => Ann ann (m a) -> m (Ann ann a)

ToJSON ann => ToJSON1 (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

liftToJSON :: (a -> Value) -> ([a] -> Value) -> Ann ann a -> Value

liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Ann ann a] -> Value

liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Ann ann a -> Encoding

liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Ann ann a] -> Encoding

FromJSON ann => FromJSON1 (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

liftParseJSON :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (Ann ann a)

liftParseJSONList :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [Ann ann a]

Eq ann => Eq1 (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

liftEq :: (a -> b -> Bool) -> Ann ann a -> Ann ann b -> Bool

Ord ann => Ord1 (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

liftCompare :: (a -> b -> Ordering) -> Ann ann a -> Ann ann b -> Ordering

Read ann => Read1 (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Ann ann a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Ann ann a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Ann ann a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Ann ann a]

Show ann => Show1 (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Ann ann a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Ann ann a] -> ShowS

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 ann => NFData1 (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

liftRnf :: (a -> ()) -> Ann ann a -> ()

Hashable ann => Hashable1 (Ann ann)

Defined in Nix.Expr.Types.Annotated

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Ann ann a -> Int

Generic1 (Ann ann :: Type -> Type)

Defined in Nix.Expr.Types.Annotated

Associated Types

type Rep1 (Ann ann) :: k -> Type

Methods

from1 :: forall (a :: k). Ann ann a -> Rep1 (Ann ann) a

to1 :: forall (a :: k). Rep1 (Ann ann) a -> Ann ann a

(Eq ann, Eq a) => Eq (Ann ann a)

Defined in Nix.Expr.Types.Annotated

Methods

(==) :: Ann ann a -> Ann ann a -> Bool

(/=) :: Ann ann a -> Ann ann a -> Bool

(Data ann, Data a) => Data (Ann ann a)

Defined in Nix.Expr.Types.Annotated

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ann ann a -> c (Ann ann a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ann ann a)

toConstr :: Ann ann a -> Constr

dataTypeOf :: Ann ann a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Ann ann a))

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

gmapT :: (forall b. Data b => b -> b) -> Ann ann a -> Ann ann a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ann ann a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ann ann a -> r

gmapQ :: (forall d. Data d => d -> u) -> Ann ann a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ann ann a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ann ann a -> m (Ann ann a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ann ann a -> m (Ann ann a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ann ann a -> m (Ann ann a)

(Ord ann, Ord a) => Ord (Ann ann a)

Defined in Nix.Expr.Types.Annotated

Methods

compare :: Ann ann a -> Ann ann a -> Ordering

(<) :: Ann ann a -> Ann ann a -> Bool

(<=) :: Ann ann a -> Ann ann a -> Bool

(>) :: Ann ann a -> Ann ann a -> Bool

(>=) :: Ann ann a -> Ann ann a -> Bool

max :: Ann ann a -> Ann ann a -> Ann ann a

min :: Ann ann a -> Ann ann a -> Ann ann a

(Read ann, Read a) => Read (Ann ann a)

Defined in Nix.Expr.Types.Annotated

Methods

readsPrec :: Int -> ReadS (Ann ann a)

readList :: ReadS [Ann ann a]

readPrec :: ReadPrec (Ann ann a)

readListPrec :: ReadPrec [Ann ann a]

(Show ann, Show a) => Show (Ann ann a)

Defined in Nix.Expr.Types.Annotated

Methods

showsPrec :: Int -> Ann ann a -> ShowS

show :: Ann ann a -> String

showList :: [Ann ann a] -> ShowS

Generic (Ann ann a)

Defined in Nix.Expr.Types.Annotated

Associated Types

type Rep (Ann ann a) :: Type -> Type

Methods

from :: Ann ann a -> Rep (Ann ann a) x

to :: Rep (Ann ann a) x -> Ann ann a

(Hashable ann, Hashable a) => Hashable (Ann ann a)

Defined in Nix.Expr.Types.Annotated

Methods

hashWithSalt :: Int -> Ann ann a -> Int

hash :: Ann ann a -> Int

(Binary ann, Binary a) => Binary (Ann ann a)

Defined in Nix.Expr.Types.Annotated

Methods

put :: Ann ann a -> Put

get :: Get (Ann ann a)

putList :: [Ann ann a] -> Put

(NFData ann, NFData a) => NFData (Ann ann a)

Defined in Nix.Expr.Types.Annotated

Methods

rnf :: Ann ann a -> ()

(Serialise ann, Serialise a) => Serialise (Ann ann a)

Defined in Nix.Expr.Types.Annotated

Methods

encode :: Ann ann a -> Encoding

decode :: Decoder s (Ann ann a)

encodeList :: [Ann ann a] -> Encoding

decodeList :: Decoder s [Ann ann a]

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

Defined in Nix.Standard

Methods

get :: StandardTF r m (HashMap FilePath NExprLoc)

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

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

Serialise r => Serialise (Compose (Ann SrcSpan) NExprF r)

Defined in Nix.Expr.Types.Annotated

Methods

encode :: Compose (Ann SrcSpan) NExprF r -> Encoding

decode :: Decoder s (Compose (Ann SrcSpan) NExprF r)

encodeList :: [Compose (Ann SrcSpan) NExprF r] -> Encoding

decodeList :: Decoder s [Compose (Ann SrcSpan) NExprF r]

type Rep1 (Ann ann :: Type -> Type)

Defined in Nix.Expr.Types.Annotated

type Rep1 (Ann ann :: Type -> Type) = D1 ('MetaData "Ann" "Nix.Expr.Types.Annotated" "hnix-0.9.0-inplace" 'False) (C1 ('MetaCons "Ann" 'PrefixI 'True) (S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel ('Just "annotated") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

type Rep (Ann ann a)

Defined in Nix.Expr.Types.Annotated

type Rep (Ann ann a) = D1 ('MetaData "Ann" "Nix.Expr.Types.Annotated" "hnix-0.9.0-inplace" 'False) (C1 ('MetaCons "Ann" 'PrefixI 'True) (S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel ('Just "annotated") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data SrcSpan

A location in a source file

Constructors

SrcSpan

Fields

• spanBegin :: SourcePos
• spanEnd :: SourcePos

Instances

Eq SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

(==) :: SrcSpan -> SrcSpan -> Bool

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

Data SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

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

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

toConstr :: SrcSpan -> Constr

dataTypeOf :: SrcSpan -> DataType

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

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

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

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

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

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

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

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

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

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

Ord SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

compare :: SrcSpan -> SrcSpan -> Ordering

(<) :: SrcSpan -> SrcSpan -> Bool

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

(>) :: SrcSpan -> SrcSpan -> Bool

(>=) :: SrcSpan -> SrcSpan -> Bool

max :: SrcSpan -> SrcSpan -> SrcSpan

min :: SrcSpan -> SrcSpan -> SrcSpan

Show SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

showsPrec :: Int -> SrcSpan -> ShowS

show :: SrcSpan -> String

showList :: [SrcSpan] -> ShowS

Generic SrcSpan

Defined in Nix.Expr.Types.Annotated

Associated Types

type Rep SrcSpan :: Type -> Type

Methods

from :: SrcSpan -> Rep SrcSpan x

to :: Rep SrcSpan x -> SrcSpan

Semigroup SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

(<>) :: SrcSpan -> SrcSpan -> SrcSpan

sconcat :: NonEmpty SrcSpan -> SrcSpan

stimes :: Integral b => b -> SrcSpan -> SrcSpan

Hashable SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

hashWithSalt :: Int -> SrcSpan -> Int

hash :: SrcSpan -> Int

Hashable NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

hashWithSalt :: Int -> NExprLoc -> Int

hash :: NExprLoc -> Int

ToJSON SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

toJSON :: SrcSpan -> Value

toEncoding :: SrcSpan -> Encoding

toJSONList :: [SrcSpan] -> Value

toEncodingList :: [SrcSpan] -> Encoding

FromJSON SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

parseJSON :: Value -> Parser SrcSpan

parseJSONList :: Value -> Parser [SrcSpan]

Binary SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

put :: SrcSpan -> Put

get :: Get SrcSpan

putList :: [SrcSpan] -> Put

Binary NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

put :: NExprLoc -> Put

get :: Get NExprLoc

putList :: [NExprLoc] -> Put

NFData SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

rnf :: SrcSpan -> ()

NFData NExprLoc

Defined in Nix.Expr.Types.Annotated

Methods

rnf :: NExprLoc -> ()

Serialise SrcSpan

Defined in Nix.Expr.Types.Annotated

Methods

encode :: SrcSpan -> Encoding

decode :: Decoder s SrcSpan

encodeList :: [SrcSpan] -> Encoding

decodeList :: Decoder s [SrcSpan]

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

Binary r => Binary (NExprLocF r)

Defined in Nix.Expr.Types.Annotated

Methods

put :: NExprLocF r -> Put

get :: Get (NExprLocF r)

putList :: [NExprLocF r] -> Put

Has (Context m t) SrcSpan

Defined in Nix.Context

Methods

hasLens :: Lens' (Context m t) SrcSpan

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

Defined in Nix.Standard

Methods

get :: StandardTF r m (HashMap FilePath NExprLoc)

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

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

Serialise r => Serialise (Compose (Ann SrcSpan) NExprF r)

Defined in Nix.Expr.Types.Annotated

Methods

encode :: Compose (Ann SrcSpan) NExprF r -> Encoding

decode :: Decoder s (Compose (Ann SrcSpan) NExprF r)

encodeList :: [Compose (Ann SrcSpan) NExprF r] -> Encoding

decodeList :: Decoder s [Compose (Ann SrcSpan) NExprF r]

type Rep SrcSpan

Defined in Nix.Expr.Types.Annotated

type Rep SrcSpan = D1 ('MetaData "SrcSpan" "Nix.Expr.Types.Annotated" "hnix-0.9.0-inplace" 'False) (C1 ('MetaCons "SrcSpan" 'PrefixI 'True) (S1 ('MetaSel ('Just "spanBegin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourcePos) :*: S1 ('MetaSel ('Just "spanEnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourcePos)))

type NExprLoc = Fix NExprLocF

A nix expression with source location at each subexpression.

type NExprLocF = AnnF SrcSpan NExprF

type AnnF ann f = Compose (Ann ann) f

pattern NBinary_ :: SrcSpan -> NBinaryOp -> r -> r -> NExprLocF r

pattern NUnary_ :: SrcSpan -> NUnaryOp -> r -> NExprLocF r

pattern NAssert_ :: SrcSpan -> r -> r -> NExprLocF r

pattern NWith_ :: SrcSpan -> r -> r -> NExprLocF r

pattern NIf_ :: SrcSpan -> r -> r -> r -> NExprLocF r

pattern NLet_ :: SrcSpan -> [Binding r] -> r -> NExprLocF r

pattern NAbs_ :: SrcSpan -> Params r -> r -> NExprLocF r

pattern NHasAttr_ :: SrcSpan -> r -> NAttrPath r -> NExprLocF r

pattern NSelect_ :: SrcSpan -> r -> NAttrPath r -> Maybe r -> NExprLocF r

pattern NEnvPath_ :: SrcSpan -> FilePath -> NExprLocF r

pattern NLiteralPath_ :: SrcSpan -> FilePath -> NExprLocF r

pattern NSet_ :: SrcSpan -> NRecordType -> [Binding r] -> NExprLocF r

pattern NList_ :: SrcSpan -> [r] -> NExprLocF r

pattern NStr_ :: SrcSpan -> NString r -> NExprLocF r

pattern NConstant_ :: SrcSpan -> NAtom -> NExprLocF r

pattern NSynHole_ :: SrcSpan -> Text -> NExprLocF r

pattern NSym_ :: SrcSpan -> VarName -> NExprLocF r

Pattern systems for matching on NExprLocF constructions.

pattern AnnE :: forall ann (g :: * -> *). ann -> g (Fix (Compose (Ann ann) g)) -> Fix (Compose (Ann ann) g)

annToAnnF :: Ann ann (f (Fix (AnnF ann f))) -> Fix (AnnF ann f)

stripAnnotation :: Functor f => Fix (AnnF ann f) -> Fix f

stripAnn :: AnnF ann f r -> f r

nUnary :: Ann SrcSpan NUnaryOp -> NExprLoc -> NExprLoc

nBinary :: Ann SrcSpan NBinaryOp -> NExprLoc -> NExprLoc -> NExprLoc

nSelectLoc :: NExprLoc -> Ann SrcSpan (NAttrPath NExprLoc) -> Maybe NExprLoc -> NExprLoc

nHasAttr :: NExprLoc -> Ann SrcSpan (NAttrPath NExprLoc) -> NExprLoc

nApp :: NExprLoc -> NExprLoc -> NExprLoc

nAbs :: Ann SrcSpan (Params NExprLoc) -> NExprLoc -> NExprLoc

nStr :: Ann SrcSpan (NString NExprLoc) -> NExprLoc

deltaInfo :: SourcePos -> (Text, Int, Int)

nNull :: NExprLoc

nullSpan :: SrcSpan

module Data.Functor.Compose

data SourcePos

The data type SourcePos represents source positions. It contains the name of the source file, a line number, and a column number. Source line and column positions change intensively during parsing, so we need to make them strict to avoid memory leaks.

Constructors

SourcePos

Fields

• sourceName :: FilePath

  Name of source file

• sourceLine :: !Pos

  Line number

• sourceColumn :: !Pos

  Column number

Instances

Eq SourcePos

Defined in Text.Megaparsec.Pos

Methods

(==) :: SourcePos -> SourcePos -> Bool

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

Data SourcePos

Defined in Text.Megaparsec.Pos

Methods

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

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

toConstr :: SourcePos -> Constr

dataTypeOf :: SourcePos -> DataType

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

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

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

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

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

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

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

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

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

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

Ord SourcePos

Defined in Text.Megaparsec.Pos

Methods

compare :: SourcePos -> SourcePos -> Ordering

(<) :: SourcePos -> SourcePos -> Bool

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

(>) :: SourcePos -> SourcePos -> Bool

(>=) :: SourcePos -> SourcePos -> Bool

max :: SourcePos -> SourcePos -> SourcePos

min :: SourcePos -> SourcePos -> SourcePos

Read SourcePos

Defined in Text.Megaparsec.Pos

Methods

readsPrec :: Int -> ReadS SourcePos

readList :: ReadS [SourcePos]

readPrec :: ReadPrec SourcePos

readListPrec :: ReadPrec [SourcePos]

Show SourcePos

Defined in Text.Megaparsec.Pos

Methods

showsPrec :: Int -> SourcePos -> ShowS

show :: SourcePos -> String

showList :: [SourcePos] -> ShowS

Generic SourcePos

Defined in Text.Megaparsec.Pos

Associated Types

type Rep SourcePos :: Type -> Type

Methods

from :: SourcePos -> Rep SourcePos x

to :: Rep SourcePos x -> SourcePos

Hashable SourcePos

Defined in Nix.Expr.Types

Methods

hashWithSalt :: Int -> SourcePos -> Int

hash :: SourcePos -> Int

ToJSON SourcePos

Defined in Nix.Expr.Types

Methods

toJSON :: SourcePos -> Value

toEncoding :: SourcePos -> Encoding

toJSONList :: [SourcePos] -> Value

toEncodingList :: [SourcePos] -> Encoding

FromJSON SourcePos

Defined in Nix.Expr.Types

Methods

parseJSON :: Value -> Parser SourcePos

parseJSONList :: Value -> Parser [SourcePos]

Binary SourcePos

Defined in Nix.Expr.Types

Methods

put :: SourcePos -> Put

get :: Get SourcePos

putList :: [SourcePos] -> Put

NFData SourcePos

Defined in Text.Megaparsec.Pos

Methods

rnf :: SourcePos -> ()

Serialise SourcePos

Defined in Nix.Expr.Types

Methods

encode :: SourcePos -> Encoding

decode :: Decoder s SourcePos

encodeList :: [SourcePos] -> Encoding

decodeList :: Decoder s [SourcePos]

Convertible e t f m => ToValue SourcePos m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: SourcePos -> m (NValue' t f m (NValue t f m))

(Convertible e t f m, ToValue a m (NValue t f m)) => ToValue (AttrSet a, AttrSet SourcePos) m (Deeper (NValue' t f m (NValue t f m)))

Defined in Nix.Convert

Methods

toValue :: (AttrSet a, AttrSet SourcePos) -> m (Deeper (NValue' t f m (NValue t f m)))

ToValue (AttrSet (Symbolic m), AttrSet SourcePos) m (Symbolic m)

Defined in Nix.Lint

Methods

toValue :: (AttrSet (Symbolic m), AttrSet SourcePos) -> m (Symbolic m)

(Convertible e t f m, FromValue a m (NValue t f m)) => FromValue (AttrSet a, AttrSet SourcePos) m (Deeper (NValue' t f m (NValue t f m)))

Defined in Nix.Convert

Methods

fromValue :: Deeper (NValue' t f m (NValue t f m)) -> m (AttrSet a, AttrSet SourcePos)

fromValueMay :: Deeper (NValue' t f m (NValue t f m)) -> m (Maybe (AttrSet a, AttrSet SourcePos))

FromValue (AttrSet (Symbolic m), AttrSet SourcePos) m (Symbolic m)

Defined in Nix.Lint

Methods

fromValue :: Symbolic m -> m (AttrSet (Symbolic m), AttrSet SourcePos)

fromValueMay :: Symbolic m -> m (Maybe (AttrSet (Symbolic m), AttrSet SourcePos))

Convertible e t f m => ToValue (AttrSet (NValue t f m), AttrSet SourcePos) m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: (AttrSet (NValue t f m), AttrSet SourcePos) -> m (NValue' t f m (NValue t f m))

Convertible e t f m => FromValue (AttrSet (NValue t f m), AttrSet SourcePos) m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

fromValue :: NValue' t f m (NValue t f m) -> m (AttrSet (NValue t f m), AttrSet SourcePos)

fromValueMay :: NValue' t f m (NValue t f m) -> m (Maybe (AttrSet (NValue t f m), AttrSet SourcePos))

type Rep SourcePos

Defined in Text.Megaparsec.Pos

type Rep SourcePos = D1 ('MetaData "SourcePos" "Text.Megaparsec.Pos" "megaparsec-8.0.0-5bv2cXKJkBPKFbWOy4ZPDc" 'False) (C1 ('MetaCons "SourcePos" 'PrefixI 'True) (S1 ('MetaSel ('Just "sourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Just "sourceLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos) :*: S1 ('MetaSel ('Just "sourceColumn") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos))))

unPos :: Pos -> Int

Extract Int from Pos.

Since: megaparsec-6.0.0

mkPos :: Int -> Pos

Construction of Pos from Int. The function throws InvalidPosException when given a non-positive argument.

Since: megaparsec-6.0.0