Copyright	(c) 2020-2021 Alexandre Moreno
License	BSD-3-Clause OR Apache-2.0
Maintainer	Alexandre Moreno <alexmorenocano@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Language.Jsonnet.Parser.SrcSpan

Contents

Orphan instances

Description

Documentation

data SrcSpan Source #

Constructors

SrcSpan
Fields spanBegin :: SourcePos spanEnd :: SourcePos

Instances

Instances details

Eq SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan Methods (==) :: SrcSpan -> SrcSpan -> Bool # (/=) :: SrcSpan -> SrcSpan -> Bool #
Data SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan 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 Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan 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 #
Read SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan Methods readsPrec :: Int -> ReadS SrcSpan # readList :: ReadS [SrcSpan] # readPrec :: ReadPrec SrcSpan # readListPrec :: ReadPrec [SrcSpan] #
Show SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan Methods showsPrec :: Int -> SrcSpan -> ShowS # show :: SrcSpan -> String # showList :: [SrcSpan] -> ShowS #
Generic SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan Associated Types type Rep SrcSpan :: Type -> Type # Methods from :: SrcSpan -> Rep SrcSpan x # to :: Rep SrcSpan x -> SrcSpan #
Semigroup SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan Methods (<>) :: SrcSpan -> SrcSpan -> SrcSpan # sconcat :: NonEmpty SrcSpan -> SrcSpan # stimes :: Integral b => b -> SrcSpan -> SrcSpan #
Pretty SrcSpan Source #
Instance details Defined in Language.Jsonnet.Pretty Methods pretty :: SrcSpan -> Doc # prettyList :: [SrcSpan] -> Doc #
Binary SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan Methods put :: SrcSpan -> Put # get :: Get SrcSpan # putList :: [SrcSpan] -> Put #
Alpha SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan Methods aeq' :: AlphaCtx -> SrcSpan -> SrcSpan -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> SrcSpan -> f SrcSpan # close :: AlphaCtx -> NamePatFind -> SrcSpan -> SrcSpan # open :: AlphaCtx -> NthPatFind -> SrcSpan -> SrcSpan # isPat :: SrcSpan -> DisjointSet AnyName # isTerm :: SrcSpan -> All # isEmbed :: SrcSpan -> Bool # nthPatFind :: SrcSpan -> NthPatFind # namePatFind :: SrcSpan -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> SrcSpan -> SrcSpan # lfreshen' :: LFresh m => AlphaCtx -> SrcSpan -> (SrcSpan -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> SrcSpan -> m (SrcSpan, Perm AnyName) # acompare' :: AlphaCtx -> SrcSpan -> SrcSpan -> Ordering #
HasSrcSpan SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan Methods srcSpan :: SrcSpan -> SrcSpan Source #
Lift SrcSpan Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: SrcSpan -> Q Exp # liftTyped :: SrcSpan -> Q (TExp SrcSpan) #
Lift Expr Source #
Instance details Defined in Language.Jsonnet.TH Methods lift :: Expr -> Q Exp # liftTyped :: Expr -> Q (TExp Expr) #
Subst b SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan Methods isvar :: SrcSpan -> Maybe (SubstName SrcSpan b) # isCoerceVar :: SrcSpan -> Maybe (SubstCoerce SrcSpan b) # subst :: Name b -> b -> SrcSpan -> SrcSpan # substs :: [(Name b, b)] -> SrcSpan -> SrcSpan #
type Rep SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan type Rep SrcSpan = D1 ('MetaData "SrcSpan" "Language.Jsonnet.Parser.SrcSpan" "jsonnet-0.3.1.1-HRvoiMrrp7QzMlnzingfy" 'False) (C1 ('MetaCons "SrcSpan" 'PrefixI 'True) (S1 ('MetaSel ('Just "spanBegin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourcePos) :*: S1 ('MetaSel ('Just "spanEnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourcePos)))

class HasSrcSpan a where Source #

Methods

srcSpan :: a -> SrcSpan Source #

Instances

Instances details

HasSrcSpan SrcSpan Source #
Instance details Defined in Language.Jsonnet.Parser.SrcSpan Methods srcSpan :: SrcSpan -> SrcSpan Source #

Orphan instances

Binary Pos Source #
Instance details Methods put :: Pos -> Put # get :: Get Pos # putList :: [Pos] -> Put #
Binary SourcePos Source #
Instance details Methods put :: SourcePos -> Put # get :: Get SourcePos # putList :: [SourcePos] -> Put #