Language.Jsonnet.Parser.SrcSpan
data SrcSpan Source #
Constructors
Fields
Defined in Language.Jsonnet.Parser.SrcSpan
Methods
(==) :: SrcSpan -> SrcSpan -> Bool #
(/=) :: SrcSpan -> SrcSpan -> Bool #
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 #
compare :: SrcSpan -> SrcSpan -> Ordering #
(<) :: SrcSpan -> SrcSpan -> Bool #
(<=) :: SrcSpan -> SrcSpan -> Bool #
(>) :: SrcSpan -> SrcSpan -> Bool #
(>=) :: SrcSpan -> SrcSpan -> Bool #
max :: SrcSpan -> SrcSpan -> SrcSpan #
min :: SrcSpan -> SrcSpan -> SrcSpan #
readsPrec :: Int -> ReadS SrcSpan #
readList :: ReadS [SrcSpan] #
readPrec :: ReadPrec SrcSpan #
readListPrec :: ReadPrec [SrcSpan] #
showsPrec :: Int -> SrcSpan -> ShowS #
show :: SrcSpan -> String #
showList :: [SrcSpan] -> ShowS #
Associated Types
type Rep SrcSpan :: Type -> Type #
from :: SrcSpan -> Rep SrcSpan x #
to :: Rep SrcSpan x -> SrcSpan #
(<>) :: SrcSpan -> SrcSpan -> SrcSpan #
sconcat :: NonEmpty SrcSpan -> SrcSpan #
stimes :: Integral b => b -> SrcSpan -> SrcSpan #
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 #
Defined in Language.Jsonnet.Pretty
pretty :: SrcSpan -> Doc #
prettyList :: [SrcSpan] -> Doc #
srcSpan :: SrcSpan -> SrcSpan Source #
Defined in Language.Jsonnet.TH
lift :: Quote m => SrcSpan -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => SrcSpan -> Code m SrcSpan #
lift :: Quote m => Expr -> m Exp #
liftTyped :: forall (m :: Type -> Type). Quote m => Expr -> Code m Expr #
isvar :: SrcSpan -> Maybe (SubstName SrcSpan b) #
isCoerceVar :: SrcSpan -> Maybe (SubstCoerce SrcSpan b) #
subst :: Name b -> b -> SrcSpan -> SrcSpan #
substs :: [(Name b, b)] -> SrcSpan -> SrcSpan #
class HasSrcSpan a where Source #
srcSpan :: a -> SrcSpan Source #