Universum.Debug

Functions for debugging. If you left these functions in your code then warning is generated to remind you about left usages. Also some functions (and data types) are convenient for prototyping.

Documentation

data Undefined

Warning: Undefined type remains in code

Similar to undefined but data type.

Constructors

Undefined

Warning: Undefined type remains in code

Instances

Bounded Undefined

Methods

minBound :: Undefined

maxBound :: Undefined

Enum Undefined

Methods

succ :: Undefined -> Undefined

pred :: Undefined -> Undefined

toEnum :: Int -> Undefined

fromEnum :: Undefined -> Int

enumFrom :: Undefined -> [Undefined]

enumFromThen :: Undefined -> Undefined -> [Undefined]

enumFromTo :: Undefined -> Undefined -> [Undefined]

enumFromThenTo :: Undefined -> Undefined -> Undefined -> [Undefined]

Eq Undefined

Methods

(==) :: Undefined -> Undefined -> Bool

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

Data Undefined

Methods

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

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

toConstr :: Undefined -> Constr

dataTypeOf :: Undefined -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> Undefined -> Undefined

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

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

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

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

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

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

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

Ord Undefined

Methods

compare :: Undefined -> Undefined -> Ordering

(<) :: Undefined -> Undefined -> Bool

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

(>) :: Undefined -> Undefined -> Bool

(>=) :: Undefined -> Undefined -> Bool

max :: Undefined -> Undefined -> Undefined

min :: Undefined -> Undefined -> Undefined

Read Undefined

Methods

readsPrec :: Int -> ReadS Undefined

readList :: ReadS [Undefined]

readPrec :: ReadPrec Undefined

readListPrec :: ReadPrec [Undefined]

Show Undefined

Methods

showsPrec :: Int -> Undefined -> ShowS

show :: Undefined -> String

showList :: [Undefined] -> ShowS

Generic Undefined

Associated Types

type Rep Undefined :: * -> *

Methods

from :: Undefined -> Rep Undefined x

to :: Rep Undefined x -> Undefined

type Rep Undefined

type Rep Undefined = D1 (MetaData "Undefined" "Universum.Debug" "universum-1.0.0-DBFfqwqIraF5jHeOCd7s0l" False) (C1 (MetaCons "Undefined" PrefixI False) U1)

error :: forall r. forall a. HasCallStack => Text -> a

error that takes Text as an argument.

trace :: Print b => b -> a -> a

Warning: trace remains in code

Generalized over string version of trace that leaves warnings.

traceM :: Monad m => Text -> m ()

Warning: traceM remains in code

Version of traceM that leaves warning and takes Text.

traceId :: Text -> Text

Warning: traceId remains in code

Version of traceId that leaves warning and takes Text.

traceShow :: Show a => a -> b -> b

Warning: traceShow remains in code

Version of traceShow that leaves warning.

traceShowId :: Show a => a -> a

Warning: traceShowId remains in code

Version of traceShow that leaves warning.

traceShowM :: (Show a, Monad m) => a -> m ()

Warning: traceShowM remains in code

Version of traceShowM that leaves warning.

undefined :: forall r. forall a. HasCallStack => a

Warning: undefined function remains in code (or use error)

undefined that leaves warning in code on every usage.