| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Types.Spans
Synopsis
- data SourcePos
- data SrcSpan = SS {}
- class Loc a where
- data Located a = Loc {}
- dummySpan :: SrcSpan
- panicSpan :: String -> SrcSpan
- locAt :: String -> a -> Located a
- dummyLoc :: a -> Located a
- dummyPos :: String -> SourcePos
- atLoc :: Loc l => l -> b -> Located b
- toSourcePos :: (SourceName, Line, Column) -> SourcePos
- sourcePosElts :: SourcePos -> (SourceName, Line, Column)
- srcLine :: Loc a => a -> Int
Concrete Location Type
The abstract data type SourcePos represents source positions. It
contains the name of the source (i.e. file name), a line number and
a column number. SourcePos is an instance of the Show, Eq and
Ord class.
Instances
| Eq SourcePos | |
| Data SourcePos | |
Defined in Text.Parsec.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 :: (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 | |
| Show SourcePos | |
| Binary SourcePos Source # | |
| Serialize SourcePos Source # | |
| NFData SourcePos Source # | Retrofitting instances to SourcePos ------------------------------ |
Defined in Language.Fixpoint.Types.Spans | |
| Hashable SourcePos Source # | |
Defined in Language.Fixpoint.Types.Spans | |
| PPrint SourcePos Source # | |
Defined in Language.Fixpoint.Types.Spans | |
| Fixpoint SourcePos Source # | |
| Loc SourcePos Source # | |
A Reusable SrcSpan Type ------------------------------------------
Instances
Located Values
Located Values ---------------------------------------------------
Instances
| Functor Located Source # | |
| Foldable Located Source # | |
Defined in Language.Fixpoint.Types.Spans Methods fold :: Monoid m => Located m -> m # foldMap :: Monoid m => (a -> m) -> Located a -> m # foldr :: (a -> b -> b) -> b -> Located a -> b # foldr' :: (a -> b -> b) -> b -> Located a -> b # foldl :: (b -> a -> b) -> b -> Located a -> b # foldl' :: (b -> a -> b) -> b -> Located a -> b # foldr1 :: (a -> a -> a) -> Located a -> a # foldl1 :: (a -> a -> a) -> Located a -> a # elem :: Eq a => a -> Located a -> Bool # maximum :: Ord a => Located a -> a # minimum :: Ord a => Located a -> a # | |
| Traversable Located Source # | |
| SMTLIB2 LocSymbol Source # | |
| Eq a => Eq (Located a) Source # | |
| Data a => Data (Located a) Source # | |
Defined in Language.Fixpoint.Types.Spans Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Located a -> c (Located a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Located a) # toConstr :: Located a -> Constr # dataTypeOf :: Located a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Located a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Located a)) # gmapT :: (forall b. Data b => b -> b) -> Located a -> Located a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Located a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Located a -> r # gmapQ :: (forall d. Data d => d -> u) -> Located a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Located a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Located a -> m (Located a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Located a -> m (Located a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Located a -> m (Located a) # | |
| Ord a => Ord (Located a) Source # | |
| Show a => Show (Located a) Source # | |
| IsString a => IsString (Located a) Source # | |
Defined in Language.Fixpoint.Types.Spans Methods fromString :: String -> Located a # | |
| Generic (Located a) Source # | |
| Binary a => Binary (Located a) Source # | |
| NFData a => NFData (Located a) Source # | |
Defined in Language.Fixpoint.Types.Spans | |
| Hashable a => Hashable (Located a) Source # | |
Defined in Language.Fixpoint.Types.Spans | |
| PPrint a => PPrint (Located a) Source # | |
Defined in Language.Fixpoint.Types.Spans | |
| Fixpoint a => Fixpoint (Located a) Source # | |
| Loc (Located a) Source # | |
| Symbolic a => Symbolic (Located a) Source # | |
| Subable a => Subable (Located a) Source # | |
Defined in Language.Fixpoint.Types.Refinements | |
| Expression a => Expression (Located a) Source # | |
| type Rep (Located a) Source # | |
Defined in Language.Fixpoint.Types.Spans type Rep (Located a) = D1 (MetaData "Located" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.8.10.2-Ld6PWXA9XrKe3HZnOCc57" False) (C1 (MetaCons "Loc" PrefixI True) (S1 (MetaSel (Just "loc") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourcePos) :*: (S1 (MetaSel (Just "locE") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourcePos) :*: S1 (MetaSel (Just "val") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a)))) | |
Constructing spans
toSourcePos :: (SourceName, Line, Column) -> SourcePos Source #
Destructing spans
sourcePosElts :: SourcePos -> (SourceName, Line, Column) Source #