Language.Fixpoint.Types.Errors

Concrete Location Type

data SrcSpan

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

Constructors

SS

Fields

• sp_start :: !SourcePos
• sp_stop :: !SourcePos

Instances

Eq SrcSpan

Methods

(==) :: SrcSpan -> SrcSpan -> Bool

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

Data SrcSpan

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

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

Methods

showsPrec :: Int -> SrcSpan -> ShowS

show :: SrcSpan -> String

showList :: [SrcSpan] -> ShowS

Generic SrcSpan

Associated Types

type Rep SrcSpan :: * -> *

Methods

from :: SrcSpan -> Rep SrcSpan x

to :: Rep SrcSpan x -> SrcSpan

Serialize SrcSpan

Methods

put :: Putter SrcSpan

get :: Get SrcSpan

Hashable SrcSpan

Methods

hashWithSalt :: Int -> SrcSpan -> Int

hash :: SrcSpan -> Int

PPrint SrcSpan

Methods

pprintTidy :: Tidy -> SrcSpan -> Doc

pprintPrec :: Int -> Tidy -> SrcSpan -> Doc

type Rep SrcSpan

type Rep SrcSpan = D1 (MetaData "SrcSpan" "Language.Fixpoint.Types.Spans" "liquid-fixpoint-0.7.0.5-Gva8geyEo6wB3a0li3tGtO" 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))))

dummySpan :: SrcSpan

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

Result

data FixResult a

Result ---------------------------------------------------------

Constructors

Crash [a] String

Safe

Unsafe ![a]

Instances

Functor FixResult

Methods

fmap :: (a -> b) -> FixResult a -> FixResult b

(<$) :: a -> FixResult b -> FixResult a

Foldable FixResult

Methods

fold :: Monoid m => FixResult m -> m

foldMap :: Monoid m => (a -> m) -> FixResult a -> m

foldr :: (a -> b -> b) -> b -> FixResult a -> b

foldr' :: (a -> b -> b) -> b -> FixResult a -> b

foldl :: (b -> a -> b) -> b -> FixResult a -> b

foldl' :: (b -> a -> b) -> b -> FixResult a -> b

foldr1 :: (a -> a -> a) -> FixResult a -> a

foldl1 :: (a -> a -> a) -> FixResult a -> a

toList :: FixResult a -> [a]

null :: FixResult a -> Bool

length :: FixResult a -> Int

elem :: Eq a => a -> FixResult a -> Bool

maximum :: Ord a => FixResult a -> a

minimum :: Ord a => FixResult a -> a

sum :: Num a => FixResult a -> a

product :: Num a => FixResult a -> a

Traversable FixResult

Methods

traverse :: Applicative f => (a -> f b) -> FixResult a -> f (FixResult b)

sequenceA :: Applicative f => FixResult (f a) -> f (FixResult a)

mapM :: Monad m => (a -> m b) -> FixResult a -> m (FixResult b)

sequence :: Monad m => FixResult (m a) -> m (FixResult a)

Eq a => Eq (FixResult a)

Methods

(==) :: FixResult a -> FixResult a -> Bool

(/=) :: FixResult a -> FixResult a -> Bool

Data a => Data (FixResult a)

Methods

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

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

toConstr :: FixResult a -> Constr

dataTypeOf :: FixResult a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (FixResult a))

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

gmapT :: (forall b. Data b => b -> b) -> FixResult a -> FixResult a

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

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

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

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

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

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

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

Show a => Show (FixResult a)

Methods

showsPrec :: Int -> FixResult a -> ShowS

show :: FixResult a -> String

showList :: [FixResult a] -> ShowS

Generic (FixResult a)

Associated Types

type Rep (FixResult a) :: * -> *

Methods

from :: FixResult a -> Rep (FixResult a) x

to :: Rep (FixResult a) x -> FixResult a

Monoid (FixResult a)

Methods

mempty :: FixResult a

mappend :: FixResult a -> FixResult a -> FixResult a

mconcat :: [FixResult a] -> FixResult a

Exception (FixResult Error)

Methods

toException :: FixResult Error -> SomeException

fromException :: SomeException -> Maybe (FixResult Error)

displayException :: FixResult Error -> String

Binary a => Binary (FixResult a)

Methods

put :: FixResult a -> Put

get :: Get (FixResult a)

putList :: [FixResult a] -> Put

Serialize (FixResult Error)

Methods

put :: Putter (FixResult Error)

get :: Get (FixResult Error)

NFData a => NFData (FixResult a)

Methods

rnf :: FixResult a -> ()

(Ord a, Fixpoint a) => Fixpoint (FixResult (SubC a))

Methods

toFix :: FixResult (SubC a) -> Doc

simplify :: FixResult (SubC a) -> FixResult (SubC a)

Inputable (FixResult Integer)

Methods

rr :: String -> FixResult Integer

rr' :: String -> String -> FixResult Integer

Inputable (FixResult Integer, FixSolution)

Methods

rr :: String -> (FixResult Integer, FixSolution)

rr' :: String -> String -> (FixResult Integer, FixSolution)

type Rep (FixResult a)

type Rep (FixResult a) = D1 (MetaData "FixResult" "Language.Fixpoint.Types.Errors" "liquid-fixpoint-0.7.0.5-Gva8geyEo6wB3a0li3tGtO" False) ((:+:) (C1 (MetaCons "Crash" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "Safe" PrefixI False) U1) (C1 (MetaCons "Unsafe" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [a])))))

colorResult :: FixResult a -> Moods

resultDoc :: Fixpoint a => FixResult a -> Doc

Abstract Error Type

data Error

A BareBones Error Type ----------------------------------------------------

Instances

Eq Error

Methods

(==) :: Error -> Error -> Bool

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

Ord Error

Methods

compare :: Error -> Error -> Ordering

(<) :: Error -> Error -> Bool

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

(>) :: Error -> Error -> Bool

(>=) :: Error -> Error -> Bool

max :: Error -> Error -> Error

min :: Error -> Error -> Error

Show Error

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

Generic Error

Associated Types

type Rep Error :: * -> *

Methods

from :: Error -> Rep Error x

to :: Rep Error x -> Error

Exception Error

Methods

toException :: Error -> SomeException

fromException :: SomeException -> Maybe Error

displayException :: Error -> String

Serialize Error

Methods

put :: Putter Error

get :: Get Error

PPrint Error

Methods

pprintTidy :: Tidy -> Error -> Doc

pprintPrec :: Int -> Tidy -> Error -> Doc

Exception (FixResult Error)

Methods

toException :: FixResult Error -> SomeException

fromException :: SomeException -> Maybe (FixResult Error)

displayException :: FixResult Error -> String

Serialize (FixResult Error)

Methods

put :: Putter (FixResult Error)

get :: Get (FixResult Error)

type Rep Error

type Rep Error

Constructor

err :: SrcSpan -> Doc -> Error

Accessors

errLoc :: Error1 -> SrcSpan

errMsg :: Error1 -> Doc

Adding Insult to Injury

catError :: Error -> Error -> Error

catErrors :: ListNE Error -> Error

Fatal Exit

panic :: String -> a

die :: Error -> a

dieAt :: SrcSpan -> Error -> a

exit :: a -> IO a -> IO a

Some popular errors

errFreeVarInQual :: (PPrint q, Loc q, PPrint x) => q -> x -> Error

Catalogue of Errors --------------------------------------------

errFreeVarInConstraint :: PPrint a => (Integer, a) -> Error

errIllScopedKVar :: (PPrint k, PPrint bs) => (k, Integer, Integer, bs) -> Error

Orphan instances

Serialize Doc

Methods

put :: Putter Doc

get :: Get Doc

Serialize TextDetails

Methods

put :: Putter TextDetails

get :: Get TextDetails

Generic (AnnotDetails a)

Associated Types

type Rep (AnnotDetails a) :: * -> *

Methods

from :: AnnotDetails a -> Rep (AnnotDetails a) x

to :: Rep (AnnotDetails a) x -> AnnotDetails a

Serialize a => Serialize (Doc a)

Methods

put :: Putter (Doc a)

get :: Get (Doc a)

Serialize a => Serialize (AnnotDetails a)

Methods

put :: Putter (AnnotDetails a)

get :: Get (AnnotDetails a)