Swarm.Language.Syntax.Loc

Types for working with locations of something in source code.

Documentation

data SrcLoc

The location of something in the textual source code (recorded as an interval measured in terms of indices into the input stream).

Constructors

NoLoc

SrcLoc Int Int

Half-open interval from start (inclusive) to end (exclusive)

Instances

FromJSON SrcLoc

Defined in Swarm.Language.Syntax.Loc

Methods

parseJSON :: Value -> Parser SrcLoc

parseJSONList :: Value -> Parser [SrcLoc]

omittedField :: Maybe SrcLoc

ToJSON SrcLoc

Defined in Swarm.Language.Syntax.Loc

Methods

toJSON :: SrcLoc -> Value

toEncoding :: SrcLoc -> Encoding

toJSONList :: [SrcLoc] -> Value

toEncodingList :: [SrcLoc] -> Encoding

omitField :: SrcLoc -> Bool

Data SrcLoc

Defined in Swarm.Language.Syntax.Loc

Methods

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

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

toConstr :: SrcLoc -> Constr

dataTypeOf :: SrcLoc -> DataType

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

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

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

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

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

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

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

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

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

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

Monoid SrcLoc

mempty is a special value which means we have no location information.

Defined in Swarm.Language.Syntax.Loc

Methods

mempty :: SrcLoc

mappend :: SrcLoc -> SrcLoc -> SrcLoc

mconcat :: [SrcLoc] -> SrcLoc

Semigroup SrcLoc

x <> y is the smallest SrcLoc that subsumes both x and y.

Defined in Swarm.Language.Syntax.Loc

Methods

(<>) :: SrcLoc -> SrcLoc -> SrcLoc

sconcat :: NonEmpty SrcLoc -> SrcLoc

stimes :: Integral b => b -> SrcLoc -> SrcLoc

Generic SrcLoc

Defined in Swarm.Language.Syntax.Loc

Associated Types

type Rep SrcLoc :: Type -> Type

Methods

from :: SrcLoc -> Rep SrcLoc x

to :: Rep SrcLoc x -> SrcLoc

Show SrcLoc

Defined in Swarm.Language.Syntax.Loc

Methods

showsPrec :: Int -> SrcLoc -> ShowS

show :: SrcLoc -> String

showList :: [SrcLoc] -> ShowS

Eq SrcLoc

Defined in Swarm.Language.Syntax.Loc

Methods

(==) :: SrcLoc -> SrcLoc -> Bool

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

Ord SrcLoc

Defined in Swarm.Language.Syntax.Loc

Methods

compare :: SrcLoc -> SrcLoc -> Ordering

(<) :: SrcLoc -> SrcLoc -> Bool

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

(>) :: SrcLoc -> SrcLoc -> Bool

(>=) :: SrcLoc -> SrcLoc -> Bool

max :: SrcLoc -> SrcLoc -> SrcLoc

min :: SrcLoc -> SrcLoc -> SrcLoc

type Rep SrcLoc

Defined in Swarm.Language.Syntax.Loc

type Rep SrcLoc = D1 ('MetaData "SrcLoc" "Swarm.Language.Syntax.Loc" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-lang" 'False) (C1 ('MetaCons "NoLoc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SrcLoc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))

data LocVar

A variable with associated source location, used for variable binding sites. (Variable occurrences are a bare TVar which gets wrapped in a Syntax node, so we don't need LocVar for those.)

Constructors

LV

Fields

• lvSrcLoc :: SrcLoc
• lvVar :: Var

Instances

FromJSON LocVar

Defined in Swarm.Language.Syntax.Loc

Methods

parseJSON :: Value -> Parser LocVar

parseJSONList :: Value -> Parser [LocVar]

omittedField :: Maybe LocVar

ToJSON LocVar

Defined in Swarm.Language.Syntax.Loc

Methods

toJSON :: LocVar -> Value

toEncoding :: LocVar -> Encoding

toJSONList :: [LocVar] -> Value

toEncodingList :: [LocVar] -> Encoding

omitField :: LocVar -> Bool

Data LocVar

Defined in Swarm.Language.Syntax.Loc

Methods

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

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

toConstr :: LocVar -> Constr

dataTypeOf :: LocVar -> DataType

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

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

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

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

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

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

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

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

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

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

Generic LocVar

Defined in Swarm.Language.Syntax.Loc

Associated Types

type Rep LocVar :: Type -> Type

Methods

from :: LocVar -> Rep LocVar x

to :: Rep LocVar x -> LocVar

Show LocVar

Defined in Swarm.Language.Syntax.Loc

Methods

showsPrec :: Int -> LocVar -> ShowS

show :: LocVar -> String

showList :: [LocVar] -> ShowS

Eq LocVar

Defined in Swarm.Language.Syntax.Loc

Methods

(==) :: LocVar -> LocVar -> Bool

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

Ord LocVar

Defined in Swarm.Language.Syntax.Loc

Methods

compare :: LocVar -> LocVar -> Ordering

(<) :: LocVar -> LocVar -> Bool

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

(>) :: LocVar -> LocVar -> Bool

(>=) :: LocVar -> LocVar -> Bool

max :: LocVar -> LocVar -> LocVar

min :: LocVar -> LocVar -> LocVar

type Rep LocVar

Defined in Swarm.Language.Syntax.Loc

type Rep LocVar = D1 ('MetaData "LocVar" "Swarm.Language.Syntax.Loc" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-lang" 'False) (C1 ('MetaCons "LV" 'PrefixI 'True) (S1 ('MetaSel ('Just "lvSrcLoc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SrcLoc) :*: S1 ('MetaSel ('Just "lvVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Var)))

srcLocBefore :: SrcLoc -> SrcLoc -> Bool

Check whether one SrcLoc starts at or before another one, i.e. compare their starting indices to see if the first is <= the second.