Safe Haskell	None
Language	Haskell98

Language.Fixpoint.Types.Spans

Contents

Concrete Location Type
Located Values
Constructing spans
Destructing spans
Orphan instances

Synopsis

Concrete Location Type

data SourcePos :: * #

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
Methods (==) :: SourcePos -> SourcePos -> Bool # (/=) :: SourcePos -> SourcePos -> Bool #
Data SourcePos
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
Methods compare :: SourcePos -> SourcePos -> Ordering # (<) :: SourcePos -> SourcePos -> Bool # (<=) :: SourcePos -> SourcePos -> Bool # (>) :: SourcePos -> SourcePos -> Bool # (>=) :: SourcePos -> SourcePos -> Bool # max :: SourcePos -> SourcePos -> SourcePos # min :: SourcePos -> SourcePos -> SourcePos #
Show SourcePos
Methods showsPrec :: Int -> SourcePos -> ShowS # show :: SourcePos -> String # showList :: [SourcePos] -> ShowS #

data SrcSpan Source #

A Reusable SrcSpan Type ------------------------------------------

Constructors

SS
Fields sp_start :: !SourcePos sp_stop :: !SourcePos

Instances

Eq SrcSpan Source #
Methods (==) :: SrcSpan -> SrcSpan -> Bool # (/=) :: SrcSpan -> SrcSpan -> Bool #
Data SrcSpan Source #
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 :: (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 #
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 #
Show SrcSpan Source #
Methods showsPrec :: Int -> SrcSpan -> ShowS # show :: SrcSpan -> String # showList :: [SrcSpan] -> ShowS #
Generic SrcSpan Source #
Associated Types type Rep SrcSpan :: * -> * # Methods from :: SrcSpan -> Rep SrcSpan x # to :: Rep SrcSpan x -> SrcSpan #
Serialize SrcSpan Source #
Methods put :: Putter SrcSpan # get :: Get SrcSpan #
Hashable SrcSpan Source #
Methods hashWithSalt :: Int -> SrcSpan -> Int # hash :: SrcSpan -> Int #
PPrint SrcSpan Source #
Methods pprintTidy :: Tidy -> SrcSpan -> Doc Source # pprintPrec :: Int -> Tidy -> SrcSpan -> Doc Source #
type Rep SrcSpan Source #
type Rep SrcSpan = D1 * (MetaData "SrcSpan" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.7.0.7-DC7X7gzBmY2Ic8PTKxWTVg" False) (C1 * (MetaCons "SS" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "sp_start") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * SourcePos)) (S1 * (MetaSel (Just Symbol "sp_stop") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * SourcePos))))

Located Values

class Loc a where Source #

Located Values ---------------------------------------------------

Minimal complete definition

srcSpan

Methods

srcSpan :: a -> SrcSpan Source #

Instances

Loc () Source #
Methods srcSpan :: () -> SrcSpan Source #
Loc FTycon Source #
Methods srcSpan :: FTycon -> SrcSpan Source #
Loc Qualifier Source #
Methods srcSpan :: Qualifier -> SrcSpan Source #
Loc (Located a) Source #
Methods srcSpan :: Located a -> SrcSpan Source #

data Located a Source #

Constructors

Loc
Fields loc :: !SourcePos Start Position locE :: !SourcePos End Position val :: !a

Instances

Functor Located Source #
Methods fmap :: (a -> b) -> Located a -> Located b # (<$) :: a -> Located b -> Located a #
Foldable Located Source #
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 # toList :: Located a -> [a] # null :: Located a -> Bool # length :: Located a -> Int # elem :: Eq a => a -> Located a -> Bool # maximum :: Ord a => Located a -> a # minimum :: Ord a => Located a -> a # sum :: Num a => Located a -> a # product :: Num a => Located a -> a #
Traversable Located Source #
Methods traverse :: Applicative f => (a -> f b) -> Located a -> f (Located b) # sequenceA :: Applicative f => Located (f a) -> f (Located a) # mapM :: Monad m => (a -> m b) -> Located a -> m (Located b) # sequence :: Monad m => Located (m a) -> m (Located a) #
Eq a => Eq (Located a) Source #
Methods (==) :: Located a -> Located a -> Bool # (/=) :: Located a -> Located a -> Bool #
Data a => Data (Located a) Source #
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 #
Methods compare :: Located a -> Located a -> Ordering # (<) :: Located a -> Located a -> Bool # (<=) :: Located a -> Located a -> Bool # (>) :: Located a -> Located a -> Bool # (>=) :: Located a -> Located a -> Bool # max :: Located a -> Located a -> Located a # min :: Located a -> Located a -> Located a #
Show a => Show (Located a) Source #
Methods showsPrec :: Int -> Located a -> ShowS # show :: Located a -> String # showList :: [Located a] -> ShowS #
IsString a => IsString (Located a) Source #
Methods fromString :: String -> Located a #
Generic (Located a) Source #
Associated Types type Rep (Located a) :: * -> * # Methods from :: Located a -> Rep (Located a) x # to :: Rep (Located a) x -> Located a #
Binary a => Binary (Located a) Source #
Methods put :: Located a -> Put # get :: Get (Located a) # putList :: [Located a] -> Put #
NFData a => NFData (Located a) Source #
Methods rnf :: Located a -> () #
Hashable a => Hashable (Located a) Source #
Methods hashWithSalt :: Int -> Located a -> Int # hash :: Located a -> Int #
PPrint a => PPrint (Located a) Source #
Methods pprintTidy :: Tidy -> Located a -> Doc Source # pprintPrec :: Int -> Tidy -> Located a -> Doc Source #
Fixpoint a => Fixpoint (Located a) Source #
Methods toFix :: Located a -> Doc Source # simplify :: Located a -> Located a Source #
Loc (Located a) Source #
Methods srcSpan :: Located a -> SrcSpan Source #
Symbolic a => Symbolic (Located a) Source #
Methods symbol :: Located a -> Symbol Source #
Subable a => Subable (Located a) Source #
Methods syms :: Located a -> [Symbol] Source # substa :: (Symbol -> Symbol) -> Located a -> Located a Source # substf :: (Symbol -> Expr) -> Located a -> Located a Source # subst :: Subst -> Located a -> Located a Source # subst1 :: Located a -> (Symbol, Expr) -> Located a Source #
Expression a => Expression (Located a) Source #
Methods expr :: Located a -> Expr Source #
type Rep (Located a) Source #
type Rep (Located a) = D1 * (MetaData "Located" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.7.0.7-DC7X7gzBmY2Ic8PTKxWTVg" False) (C1 * (MetaCons "Loc" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "loc") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * SourcePos)) ((::) (S1 * (MetaSel (Just Symbol "locE") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * SourcePos)) (S1 * (MetaSel (Just Symbol "val") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * a)))))

Constructing spans

dummySpan :: SrcSpan Source #

panicSpan :: String -> SrcSpan Source #

locAt :: String -> a -> Located a Source #

dummyLoc :: a -> Located a Source #

dummyPos :: String -> SourcePos Source #

atLoc :: Loc l => l -> b -> Located b Source #

toSourcePos :: (SourceName, Line, Column) -> SourcePos Source #

Destructing spans

sourcePosElts :: SourcePos -> (SourceName, Line, Column) Source #

Orphan instances

Binary SourcePos Source #
Methods put :: SourcePos -> Put # get :: Get SourcePos # putList :: [SourcePos] -> Put #
Serialize SourcePos Source #
Methods put :: Putter SourcePos # get :: Get SourcePos #
NFData SourcePos Source #	Retrofitting instances to SourcePos ------------------------------
Methods rnf :: SourcePos -> () #
Hashable SourcePos Source #
Methods hashWithSalt :: Int -> SourcePos -> Int # hash :: SourcePos -> Int #
PPrint SourcePos Source #
Methods pprintTidy :: Tidy -> SourcePos -> Doc Source # pprintPrec :: Int -> Tidy -> SourcePos -> Doc Source #
Fixpoint SourcePos Source #
Methods toFix :: SourcePos -> Doc Source # simplify :: SourcePos -> SourcePos Source #