Safe Haskell	None
Language	GHC2021

Futhark.Util.Loc

Description

A Safe Haskell-trusted re-export of the srcloc package.

Documentation

data L a #

Constructors

L Loc a

Instances

Instances details

Functor L
Instance details Defined in Data.Loc Methods fmap :: (a -> b) -> L a -> L b Source # (<$) :: a -> L b -> L a Source #
Data a => Data (L a)
Instance details Defined in Data.Loc Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> L a -> c (L a) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (L a) Source # toConstr :: L a -> Constr Source # dataTypeOf :: L a -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (L a)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (L a)) Source # gmapT :: (forall b. Data b => b -> b) -> L a -> L a Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> L a -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> L a -> r Source # gmapQ :: (forall d. Data d => d -> u) -> L a -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> L a -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> L a -> m (L a) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> L a -> m (L a) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> L a -> m (L a) Source #
Show x => Show (L x)
Instance details Defined in Data.Loc Methods showsPrec :: Int -> L x -> ShowS Source # show :: L x -> String Source # showList :: [L x] -> ShowS Source #
Eq x => Eq (L x)
Instance details Defined in Data.Loc Methods (==) :: L x -> L x -> Bool Source # (/=) :: L x -> L x -> Bool Source #
Ord x => Ord (L x)
Instance details Defined in Data.Loc Methods compare :: L x -> L x -> Ordering Source # (<) :: L x -> L x -> Bool Source # (<=) :: L x -> L x -> Bool Source # (>) :: L x -> L x -> Bool Source # (>=) :: L x -> L x -> Bool Source # max :: L x -> L x -> L x Source # min :: L x -> L x -> L x Source #
Pretty x => Pretty (L x)
Instance details Defined in Text.PrettyPrint.Mainland.Class Methods ppr :: L x -> Doc pprPrec :: Int -> L x -> Doc pprList :: [L x] -> Doc
Located (L a)
Instance details Defined in Data.Loc Methods locOf :: L a -> Loc # locOfList :: [L a] -> Loc #
Relocatable (L a)
Instance details Defined in Data.Loc Methods reloc :: Loc -> L a -> L a #

newtype SrcLoc #

Constructors

SrcLoc Loc

Instances

Instances details

Monoid SrcLoc
Instance details Defined in Data.Loc Methods mempty :: SrcLoc Source # mappend :: SrcLoc -> SrcLoc -> SrcLoc Source # mconcat :: [SrcLoc] -> SrcLoc Source #
Semigroup SrcLoc
Instance details Defined in Data.Loc Methods (<>) :: SrcLoc -> SrcLoc -> SrcLoc Source # sconcat :: NonEmpty SrcLoc -> SrcLoc Source # stimes :: Integral b => b -> SrcLoc -> SrcLoc Source #
Data SrcLoc
Instance details Defined in Data.Loc Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcLoc -> c SrcLoc Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcLoc Source # toConstr :: SrcLoc -> Constr Source # dataTypeOf :: SrcLoc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SrcLoc) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcLoc) Source # gmapT :: (forall b. Data b => b -> b) -> SrcLoc -> SrcLoc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcLoc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcLoc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SrcLoc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcLoc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcLoc -> m SrcLoc Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcLoc -> m SrcLoc Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcLoc -> m SrcLoc Source #
Read SrcLoc
Instance details Defined in Data.Loc Methods readsPrec :: Int -> ReadS SrcLoc Source # readList :: ReadS [SrcLoc] Source # readPrec :: ReadPrec SrcLoc Source # readListPrec :: ReadPrec [SrcLoc] Source #
Show SrcLoc
Instance details Defined in Data.Loc Methods showsPrec :: Int -> SrcLoc -> ShowS Source # show :: SrcLoc -> String Source # showList :: [SrcLoc] -> ShowS Source #
Eq SrcLoc
Instance details Defined in Data.Loc Methods (==) :: SrcLoc -> SrcLoc -> Bool Source # (/=) :: SrcLoc -> SrcLoc -> Bool Source #
Ord SrcLoc
Instance details Defined in Data.Loc Methods compare :: SrcLoc -> SrcLoc -> Ordering Source # (<) :: SrcLoc -> SrcLoc -> Bool Source # (<=) :: SrcLoc -> SrcLoc -> Bool Source # (>) :: SrcLoc -> SrcLoc -> Bool Source # (>=) :: SrcLoc -> SrcLoc -> Bool Source # max :: SrcLoc -> SrcLoc -> SrcLoc Source # min :: SrcLoc -> SrcLoc -> SrcLoc Source #
IsLocation SrcLoc
Instance details Defined in Data.Loc Methods fromLoc :: Loc -> SrcLoc # fromPos :: Pos -> SrcLoc #
Located SrcLoc
Instance details Defined in Data.Loc Methods locOf :: SrcLoc -> Loc # locOfList :: [SrcLoc] -> Loc #
ToIdent (SrcLoc -> Id)
Instance details Defined in Language.C.Quote.Base Methods toIdent :: (SrcLoc -> Id) -> SrcLoc -> Id

locStart :: Loc -> Loc #

locEnd :: Loc -> Loc #

class Located a where #

Minimal complete definition

locOf

Methods

locOf :: a -> Loc #

locOfList :: [a] -> Loc #

Instances

Instances details

Located ProgError Source #
Instance details Defined in Futhark.Compiler.Program Methods locOf :: ProgError -> Loc # locOfList :: [ProgError] -> Loc #
Located StackFrame Source #
Instance details Defined in Language.Futhark.Interpreter Methods locOf :: StackFrame -> Loc # locOfList :: [StackFrame] -> Loc #
Located Comment Source #
Instance details Defined in Language.Futhark.Parser.Monad Methods locOf :: Comment -> Loc # locOfList :: [Comment] -> Loc #
Located DocComment Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: DocComment -> Loc # locOfList :: [DocComment] -> Loc #
Located Constraint Source #
Instance details Defined in Language.Futhark.TypeChecker.Unify Methods locOf :: Constraint -> Loc # locOfList :: [Constraint] -> Loc #
Located Usage Source #
Instance details Defined in Language.Futhark.TypeChecker.Unify Methods locOf :: Usage -> Loc # locOfList :: [Usage] -> Loc #
Located TySpec
Instance details Defined in Language.C.Parser.Parser Methods locOf :: TySpec -> Loc # locOfList :: [TySpec] -> Loc #
Located ArraySize
Instance details Defined in Language.C.Syntax Methods locOf :: ArraySize -> Loc # locOfList :: [ArraySize] -> Loc #
Located Attr
Instance details Defined in Language.C.Syntax Methods locOf :: Attr -> Loc # locOfList :: [Attr] -> Loc #
Located BlockItem
Instance details Defined in Language.C.Syntax Methods locOf :: BlockItem -> Loc # locOfList :: [BlockItem] -> Loc #
Located BlockType
Instance details Defined in Language.C.Syntax Methods locOf :: BlockType -> Loc # locOfList :: [BlockType] -> Loc #
Located CEnum
Instance details Defined in Language.C.Syntax Methods locOf :: CEnum -> Loc # locOfList :: [CEnum] -> Loc #
Located Const
Instance details Defined in Language.C.Syntax Methods locOf :: Const -> Loc # locOfList :: [Const] -> Loc #
Located Decl
Instance details Defined in Language.C.Syntax Methods locOf :: Decl -> Loc # locOfList :: [Decl] -> Loc #
Located DeclSpec
Instance details Defined in Language.C.Syntax Methods locOf :: DeclSpec -> Loc # locOfList :: [DeclSpec] -> Loc #
Located Definition
Instance details Defined in Language.C.Syntax Methods locOf :: Definition -> Loc # locOfList :: [Definition] -> Loc #
Located Designation
Instance details Defined in Language.C.Syntax Methods locOf :: Designation -> Loc # locOfList :: [Designation] -> Loc #
Located Designator
Instance details Defined in Language.C.Syntax Methods locOf :: Designator -> Loc # locOfList :: [Designator] -> Loc #
Located ExeConfig
Instance details Defined in Language.C.Syntax Methods locOf :: ExeConfig -> Loc # locOfList :: [ExeConfig] -> Loc #
Located Exp
Instance details Defined in Language.C.Syntax Methods locOf :: Exp -> Loc # locOfList :: [Exp] -> Loc #
Located Field
Instance details Defined in Language.C.Syntax Methods locOf :: Field -> Loc # locOfList :: [Field] -> Loc #
Located FieldGroup
Instance details Defined in Language.C.Syntax Methods locOf :: FieldGroup -> Loc # locOfList :: [FieldGroup] -> Loc #
Located Func
Instance details Defined in Language.C.Syntax Methods locOf :: Func -> Loc # locOfList :: [Func] -> Loc #
Located Id
Instance details Defined in Language.C.Syntax Methods locOf :: Id -> Loc # locOfList :: [Id] -> Loc #
Located Init
Instance details Defined in Language.C.Syntax Methods locOf :: Init -> Loc # locOfList :: [Init] -> Loc #
Located InitGroup
Instance details Defined in Language.C.Syntax Methods locOf :: InitGroup -> Loc # locOfList :: [InitGroup] -> Loc #
Located Initializer
Instance details Defined in Language.C.Syntax Methods locOf :: Initializer -> Loc # locOfList :: [Initializer] -> Loc #
Located LambdaDeclarator
Instance details Defined in Language.C.Syntax Methods locOf :: LambdaDeclarator -> Loc # locOfList :: [LambdaDeclarator] -> Loc #
Located LambdaIntroducer
Instance details Defined in Language.C.Syntax Methods locOf :: LambdaIntroducer -> Loc # locOfList :: [LambdaIntroducer] -> Loc #
Located ObjCArg
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCArg -> Loc # locOfList :: [ObjCArg] -> Loc #
Located ObjCCatch
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCCatch -> Loc # locOfList :: [ObjCCatch] -> Loc #
Located ObjCDictElem
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCDictElem -> Loc # locOfList :: [ObjCDictElem] -> Loc #
Located ObjCIfaceDecl
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCIfaceDecl -> Loc # locOfList :: [ObjCIfaceDecl] -> Loc #
Located ObjCIvarDecl
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCIvarDecl -> Loc # locOfList :: [ObjCIvarDecl] -> Loc #
Located ObjCMethodProto
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCMethodProto -> Loc # locOfList :: [ObjCMethodProto] -> Loc #
Located ObjCMethodReq
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCMethodReq -> Loc # locOfList :: [ObjCMethodReq] -> Loc #
Located ObjCParam
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCParam -> Loc # locOfList :: [ObjCParam] -> Loc #
Located ObjCPropAttr
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCPropAttr -> Loc # locOfList :: [ObjCPropAttr] -> Loc #
Located ObjCRecv
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCRecv -> Loc # locOfList :: [ObjCRecv] -> Loc #
Located ObjCVisibilitySpec
Instance details Defined in Language.C.Syntax Methods locOf :: ObjCVisibilitySpec -> Loc # locOfList :: [ObjCVisibilitySpec] -> Loc #
Located Param
Instance details Defined in Language.C.Syntax Methods locOf :: Param -> Loc # locOfList :: [Param] -> Loc #
Located Params
Instance details Defined in Language.C.Syntax Methods locOf :: Params -> Loc # locOfList :: [Params] -> Loc #
Located Sign
Instance details Defined in Language.C.Syntax Methods locOf :: Sign -> Loc # locOfList :: [Sign] -> Loc #
Located Stm
Instance details Defined in Language.C.Syntax Methods locOf :: Stm -> Loc # locOfList :: [Stm] -> Loc #
Located Storage
Instance details Defined in Language.C.Syntax Methods locOf :: Storage -> Loc # locOfList :: [Storage] -> Loc #
Located StringLit
Instance details Defined in Language.C.Syntax Methods locOf :: StringLit -> Loc # locOfList :: [StringLit] -> Loc #
Located Type
Instance details Defined in Language.C.Syntax Methods locOf :: Type -> Loc # locOfList :: [Type] -> Loc #
Located TypeQual
Instance details Defined in Language.C.Syntax Methods locOf :: TypeQual -> Loc # locOfList :: [TypeQual] -> Loc #
Located TypeSpec
Instance details Defined in Language.C.Syntax Methods locOf :: TypeSpec -> Loc # locOfList :: [TypeSpec] -> Loc #
Located Typedef
Instance details Defined in Language.C.Syntax Methods locOf :: Typedef -> Loc # locOfList :: [Typedef] -> Loc #
Located Loc
Instance details Defined in Data.Loc Methods locOf :: Loc -> Loc # locOfList :: [Loc] -> Loc #
Located Pos
Instance details Defined in Data.Loc Methods locOf :: Pos -> Loc # locOfList :: [Pos] -> Loc #
Located SrcLoc
Instance details Defined in Data.Loc Methods locOf :: SrcLoc -> Loc # locOfList :: [SrcLoc] -> Loc #
Located a => Located (Inclusiveness a) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: Inclusiveness a -> Loc # locOfList :: [Inclusiveness a] -> Loc #
Located (SizeBinder vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: SizeBinder vn -> Loc # locOfList :: [SizeBinder vn] -> Loc #
Located (SizeExp d) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: SizeExp d -> Loc # locOfList :: [SizeExp d] -> Loc #
Located (TypeParamBase vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeParamBase vn -> Loc # locOfList :: [TypeParamBase vn] -> Loc #
Located a => Located (RevList a)
Instance details Defined in Language.C.Parser.Parser Methods locOf :: RevList a -> Loc # locOfList :: [RevList a] -> Loc #
Located (L a)
Instance details Defined in Data.Loc Methods locOf :: L a -> Loc # locOfList :: [L a] -> Loc #
Located a => Located (Maybe a)
Instance details Defined in Data.Loc Methods locOf :: Maybe a -> Loc # locOfList :: [Maybe a] -> Loc #
Located a => Located [a]
Instance details Defined in Data.Loc Methods locOf :: [a] -> Loc # locOfList :: [[a]] -> Loc #
Located (AppExpBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: AppExpBase f vn -> Loc # locOfList :: [AppExpBase f vn] -> Loc #
Located (CaseBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: CaseBase f vn -> Loc # locOfList :: [CaseBase f vn] -> Loc #
Located (DecBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: DecBase f vn -> Loc # locOfList :: [DecBase f vn] -> Loc #
Located (ExpBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ExpBase f vn -> Loc # locOfList :: [ExpBase f vn] -> Loc #
Located (FieldBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: FieldBase f vn -> Loc # locOfList :: [FieldBase f vn] -> Loc #
Located (LoopInitBase Info vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: LoopInitBase Info vn -> Loc # locOfList :: [LoopInitBase Info vn] -> Loc #
Located (ModBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ModBindBase f vn -> Loc # locOfList :: [ModBindBase f vn] -> Loc #
Located (ModExpBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ModExpBase f vn -> Loc # locOfList :: [ModExpBase f vn] -> Loc #
Located (ModParamBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ModParamBase f vn -> Loc # locOfList :: [ModParamBase f vn] -> Loc #
Located (ModTypeBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ModTypeBindBase f vn -> Loc # locOfList :: [ModTypeBindBase f vn] -> Loc #
Located (ModTypeExpBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ModTypeExpBase f vn -> Loc # locOfList :: [ModTypeExpBase f vn] -> Loc #
Located (SpecBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: SpecBase f vn -> Loc # locOfList :: [SpecBase f vn] -> Loc #
Located (TypeArgExp f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeArgExp f vn -> Loc # locOfList :: [TypeArgExp f vn] -> Loc #
Located (TypeBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeBindBase f vn -> Loc # locOfList :: [TypeBindBase f vn] -> Loc #
Located (TypeExp f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeExp f vn -> Loc # locOfList :: [TypeExp f vn] -> Loc #
Located (TypeRefBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: TypeRefBase f vn -> Loc # locOfList :: [TypeRefBase f vn] -> Loc #
Located (ValBindBase f vn) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: ValBindBase f vn -> Loc # locOfList :: [ValBindBase f vn] -> Loc #
Located (PatBase f vn t) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: PatBase f vn t -> Loc # locOfList :: [PatBase f vn t] -> Loc #
Located (IdentBase ty vn t) Source #
Instance details Defined in Language.Futhark.Syntax Methods locOf :: IdentBase ty vn t -> Loc # locOfList :: [IdentBase ty vn t] -> Loc #

data Pos #

Constructors

Pos !FilePath !Int !Int !Int

Instances

Instances details

Data Pos
Instance details Defined in Data.Loc Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos Source # toConstr :: Pos -> Constr Source # dataTypeOf :: Pos -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pos) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pos) Source # gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos Source #
Read Pos
Instance details Defined in Data.Loc Methods readsPrec :: Int -> ReadS Pos Source # readList :: ReadS [Pos] Source # readPrec :: ReadPrec Pos Source # readListPrec :: ReadPrec [Pos] Source #
Show Pos
Instance details Defined in Data.Loc Methods showsPrec :: Int -> Pos -> ShowS Source # show :: Pos -> String Source # showList :: [Pos] -> ShowS Source #
Eq Pos
Instance details Defined in Data.Loc Methods (==) :: Pos -> Pos -> Bool Source # (/=) :: Pos -> Pos -> Bool Source #
Ord Pos
Instance details Defined in Data.Loc Methods compare :: Pos -> Pos -> Ordering Source # (<) :: Pos -> Pos -> Bool Source # (<=) :: Pos -> Pos -> Bool Source # (>) :: Pos -> Pos -> Bool Source # (>=) :: Pos -> Pos -> Bool Source # max :: Pos -> Pos -> Pos Source # min :: Pos -> Pos -> Pos Source #
Pretty Pos
Instance details Defined in Text.PrettyPrint.Mainland.Class Methods ppr :: Pos -> Doc pprPrec :: Int -> Pos -> Doc pprList :: [Pos] -> Doc
Located Pos
Instance details Defined in Data.Loc Methods locOf :: Pos -> Loc # locOfList :: [Pos] -> Loc #

class Relocatable a where #

Methods

reloc :: Loc -> a -> a #

Instances

Instances details

Relocatable ArraySize
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ArraySize -> ArraySize #
Relocatable Attr
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Attr -> Attr #
Relocatable BlockItem
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> BlockItem -> BlockItem #
Relocatable BlockType
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> BlockType -> BlockType #
Relocatable CEnum
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> CEnum -> CEnum #
Relocatable Const
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Const -> Const #
Relocatable Decl
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Decl -> Decl #
Relocatable DeclSpec
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> DeclSpec -> DeclSpec #
Relocatable Definition
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Definition -> Definition #
Relocatable Designation
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Designation -> Designation #
Relocatable Designator
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Designator -> Designator #
Relocatable ExeConfig
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ExeConfig -> ExeConfig #
Relocatable Exp
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Exp -> Exp #
Relocatable Field
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Field -> Field #
Relocatable FieldGroup
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> FieldGroup -> FieldGroup #
Relocatable Func
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Func -> Func #
Relocatable Id
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Id -> Id #
Relocatable Init
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Init -> Init #
Relocatable InitGroup
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> InitGroup -> InitGroup #
Relocatable Initializer
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Initializer -> Initializer #
Relocatable LambdaDeclarator
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> LambdaDeclarator -> LambdaDeclarator #
Relocatable LambdaIntroducer
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> LambdaIntroducer -> LambdaIntroducer #
Relocatable ObjCArg
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCArg -> ObjCArg #
Relocatable ObjCCatch
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCCatch -> ObjCCatch #
Relocatable ObjCDictElem
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCDictElem -> ObjCDictElem #
Relocatable ObjCIfaceDecl
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCIfaceDecl -> ObjCIfaceDecl #
Relocatable ObjCIvarDecl
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCIvarDecl -> ObjCIvarDecl #
Relocatable ObjCMethodProto
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCMethodProto -> ObjCMethodProto #
Relocatable ObjCMethodReq
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCMethodReq -> ObjCMethodReq #
Relocatable ObjCParam
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCParam -> ObjCParam #
Relocatable ObjCPropAttr
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCPropAttr -> ObjCPropAttr #
Relocatable ObjCRecv
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCRecv -> ObjCRecv #
Relocatable ObjCVisibilitySpec
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> ObjCVisibilitySpec -> ObjCVisibilitySpec #
Relocatable Param
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Param -> Param #
Relocatable Params
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Params -> Params #
Relocatable Sign
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Sign -> Sign #
Relocatable Stm
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Stm -> Stm #
Relocatable Storage
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Storage -> Storage #
Relocatable StringLit
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> StringLit -> StringLit #
Relocatable Type
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Type -> Type #
Relocatable TypeQual
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> TypeQual -> TypeQual #
Relocatable TypeSpec
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> TypeSpec -> TypeSpec #
Relocatable Typedef
Instance details Defined in Language.C.Syntax Methods reloc :: Loc -> Typedef -> Typedef #
Relocatable (L a)
Instance details Defined in Data.Loc Methods reloc :: Loc -> L a -> L a #

class IsLocation a where #

Minimal complete definition

fromLoc

Methods

fromLoc :: Loc -> a #

fromPos :: Pos -> a #

Instances

Instances details

IsLocation Loc
Instance details Defined in Data.Loc Methods fromLoc :: Loc -> Loc # fromPos :: Pos -> Loc #
IsLocation SrcLoc
Instance details Defined in Data.Loc Methods fromLoc :: Loc -> SrcLoc # fromPos :: Pos -> SrcLoc #

data Loc #

Constructors

NoLoc
Loc !Pos !Pos

Instances

Instances details

Monoid Loc
Instance details Defined in Data.Loc Methods mempty :: Loc Source # mappend :: Loc -> Loc -> Loc Source # mconcat :: [Loc] -> Loc Source #
Semigroup Loc
Instance details Defined in Data.Loc Methods (<>) :: Loc -> Loc -> Loc Source # sconcat :: NonEmpty Loc -> Loc Source # stimes :: Integral b => b -> Loc -> Loc Source #
Data Loc
Instance details Defined in Data.Loc Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Loc -> c Loc Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Loc Source # toConstr :: Loc -> Constr Source # dataTypeOf :: Loc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Loc) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Loc) Source # gmapT :: (forall b. Data b => b -> b) -> Loc -> Loc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Loc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Loc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Loc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Loc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Loc -> m Loc Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Loc -> m Loc Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Loc -> m Loc Source #
Read Loc
Instance details Defined in Data.Loc Methods readsPrec :: Int -> ReadS Loc Source # readList :: ReadS [Loc] Source # readPrec :: ReadPrec Loc Source # readListPrec :: ReadPrec [Loc] Source #
Show Loc
Instance details Defined in Data.Loc Methods showsPrec :: Int -> Loc -> ShowS Source # show :: Loc -> String Source # showList :: [Loc] -> ShowS Source #
Eq Loc
Instance details Defined in Data.Loc Methods (==) :: Loc -> Loc -> Bool Source # (/=) :: Loc -> Loc -> Bool Source #
Ord Loc
Instance details Defined in Data.Loc Methods compare :: Loc -> Loc -> Ordering Source # (<) :: Loc -> Loc -> Bool Source # (<=) :: Loc -> Loc -> Bool Source # (>) :: Loc -> Loc -> Bool Source # (>=) :: Loc -> Loc -> Bool Source # max :: Loc -> Loc -> Loc Source # min :: Loc -> Loc -> Loc Source #
Pretty Loc
Instance details Defined in Text.PrettyPrint.Mainland.Class Methods ppr :: Loc -> Doc pprPrec :: Int -> Loc -> Doc pprList :: [Loc] -> Doc
IsLocation Loc
Instance details Defined in Data.Loc Methods fromLoc :: Loc -> Loc # fromPos :: Pos -> Loc #
Located Loc
Instance details Defined in Data.Loc Methods locOf :: Loc -> Loc # locOfList :: [Loc] -> Loc #

posFile :: Pos -> FilePath #

posLine :: Pos -> Int #

posCol :: Pos -> Int #

posCoff :: Pos -> Int #

startPos :: FilePath -> Pos #

linePos :: FilePath -> Int -> Pos #

advancePos :: Pos -> Char -> Pos #

(<-->) :: (Located a, Located b) => a -> b -> Loc #

srclocOf :: Located a => a -> SrcLoc #

srcspan :: (Located a, Located b) => a -> b -> SrcLoc #

noLoc :: IsLocation a => a #

unLoc :: L a -> a #

displayPos :: Pos -> String #

displaySPos :: Pos -> ShowS #

displayLoc :: Loc -> String #

displaySLoc :: Loc -> ShowS #