Safe Haskell	None
Language	Haskell2010

Hedgehog.Internal.Source

Contents

Re-exports from GHC.Stack

Synopsis

newtype LineNo = LineNo {
- unLineNo :: Int
}
newtype ColumnNo = ColumnNo {
- unColumnNo :: Int
}
data Span = Span {
- spanFile :: !FilePath
- spanStartLine :: !LineNo
- spanStartColumn :: !ColumnNo
- spanEndLine :: !LineNo
- spanEndColumn :: !ColumnNo
}
getCaller :: CallStack -> Maybe Span
data CallStack
type HasCallStack = ?callStack :: CallStack
callStack :: HasCallStack => CallStack
withFrozenCallStack :: HasCallStack => (HasCallStack => a) -> a

Documentation

newtype LineNo Source #

Constructors

LineNo
Fields unLineNo :: Int

Instances

Instances details

Enum LineNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods succ :: LineNo -> LineNo # pred :: LineNo -> LineNo # toEnum :: Int -> LineNo # fromEnum :: LineNo -> Int # enumFrom :: LineNo -> [LineNo] # enumFromThen :: LineNo -> LineNo -> [LineNo] # enumFromTo :: LineNo -> LineNo -> [LineNo] # enumFromThenTo :: LineNo -> LineNo -> LineNo -> [LineNo] #
Eq LineNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods (==) :: LineNo -> LineNo -> Bool # (/=) :: LineNo -> LineNo -> Bool #
Integral LineNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods quot :: LineNo -> LineNo -> LineNo # rem :: LineNo -> LineNo -> LineNo # div :: LineNo -> LineNo -> LineNo # mod :: LineNo -> LineNo -> LineNo # quotRem :: LineNo -> LineNo -> (LineNo, LineNo) # divMod :: LineNo -> LineNo -> (LineNo, LineNo) # toInteger :: LineNo -> Integer #
Num LineNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods (+) :: LineNo -> LineNo -> LineNo # (-) :: LineNo -> LineNo -> LineNo # (*) :: LineNo -> LineNo -> LineNo # negate :: LineNo -> LineNo # abs :: LineNo -> LineNo # signum :: LineNo -> LineNo # fromInteger :: Integer -> LineNo #
Ord LineNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods compare :: LineNo -> LineNo -> Ordering # (<) :: LineNo -> LineNo -> Bool # (<=) :: LineNo -> LineNo -> Bool # (>) :: LineNo -> LineNo -> Bool # (>=) :: LineNo -> LineNo -> Bool # max :: LineNo -> LineNo -> LineNo # min :: LineNo -> LineNo -> LineNo #
Real LineNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods toRational :: LineNo -> Rational #
Show LineNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods showsPrec :: Int -> LineNo -> ShowS # show :: LineNo -> String # showList :: [LineNo] -> ShowS #

newtype ColumnNo Source #

Constructors

ColumnNo
Fields unColumnNo :: Int

Instances

Instances details

Enum ColumnNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods succ :: ColumnNo -> ColumnNo # pred :: ColumnNo -> ColumnNo # toEnum :: Int -> ColumnNo # fromEnum :: ColumnNo -> Int # enumFrom :: ColumnNo -> [ColumnNo] # enumFromThen :: ColumnNo -> ColumnNo -> [ColumnNo] # enumFromTo :: ColumnNo -> ColumnNo -> [ColumnNo] # enumFromThenTo :: ColumnNo -> ColumnNo -> ColumnNo -> [ColumnNo] #
Eq ColumnNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods (==) :: ColumnNo -> ColumnNo -> Bool # (/=) :: ColumnNo -> ColumnNo -> Bool #
Integral ColumnNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods quot :: ColumnNo -> ColumnNo -> ColumnNo # rem :: ColumnNo -> ColumnNo -> ColumnNo # div :: ColumnNo -> ColumnNo -> ColumnNo # mod :: ColumnNo -> ColumnNo -> ColumnNo # quotRem :: ColumnNo -> ColumnNo -> (ColumnNo, ColumnNo) # divMod :: ColumnNo -> ColumnNo -> (ColumnNo, ColumnNo) # toInteger :: ColumnNo -> Integer #
Num ColumnNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods (+) :: ColumnNo -> ColumnNo -> ColumnNo # (-) :: ColumnNo -> ColumnNo -> ColumnNo # (*) :: ColumnNo -> ColumnNo -> ColumnNo # negate :: ColumnNo -> ColumnNo # abs :: ColumnNo -> ColumnNo # signum :: ColumnNo -> ColumnNo # fromInteger :: Integer -> ColumnNo #
Ord ColumnNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods compare :: ColumnNo -> ColumnNo -> Ordering # (<) :: ColumnNo -> ColumnNo -> Bool # (<=) :: ColumnNo -> ColumnNo -> Bool # (>) :: ColumnNo -> ColumnNo -> Bool # (>=) :: ColumnNo -> ColumnNo -> Bool # max :: ColumnNo -> ColumnNo -> ColumnNo # min :: ColumnNo -> ColumnNo -> ColumnNo #
Real ColumnNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods toRational :: ColumnNo -> Rational #
Show ColumnNo Source #
Instance details Defined in Hedgehog.Internal.Source Methods showsPrec :: Int -> ColumnNo -> ShowS # show :: ColumnNo -> String # showList :: [ColumnNo] -> ShowS #

data Span Source #

Constructors

Span
Fields spanFile :: !FilePath spanStartLine :: !LineNo spanStartColumn :: !ColumnNo spanEndLine :: !LineNo spanEndColumn :: !ColumnNo

Instances

Instances details

Eq Span Source #
Instance details Defined in Hedgehog.Internal.Source Methods (==) :: Span -> Span -> Bool # (/=) :: Span -> Span -> Bool #
Ord Span Source #
Instance details Defined in Hedgehog.Internal.Source Methods compare :: Span -> Span -> Ordering # (<) :: Span -> Span -> Bool # (<=) :: Span -> Span -> Bool # (>) :: Span -> Span -> Bool # (>=) :: Span -> Span -> Bool # max :: Span -> Span -> Span # min :: Span -> Span -> Span #
Show Span Source #
Instance details Defined in Hedgehog.Internal.Source Methods showsPrec :: Int -> Span -> ShowS # show :: Span -> String # showList :: [Span] -> ShowS #

getCaller :: CallStack -> Maybe Span Source #

Re-exports from GHC.Stack

data CallStack #

Instances

Instances details

IsList CallStack
Instance details Defined in GHC.Exts Associated Types type Item CallStack Methods fromList :: [Item CallStack] -> CallStack # fromListN :: Int -> [Item CallStack] -> CallStack # toList :: CallStack -> [Item CallStack]
Show CallStack
Instance details Defined in GHC.Show Methods showsPrec :: Int -> CallStack -> ShowS # show :: CallStack -> String # showList :: [CallStack] -> ShowS #
NFData CallStack
Instance details Defined in Control.DeepSeq Methods rnf :: CallStack -> ()
type Item CallStack
Instance details Defined in GHC.Exts type Item CallStack = (String, SrcLoc)

type HasCallStack = ?callStack :: CallStack #

callStack :: HasCallStack => CallStack #

withFrozenCallStack :: HasCallStack => (HasCallStack => a) -> a #