Safe Haskell	Trustworthy
Language	Haskell2010

Relude.Debug

Description

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.

Synopsis

data Undefined = Undefined
error :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => Text -> a
trace :: Print b => b -> a -> a
traceM :: Monad m => Text -> m ()
traceId :: Text -> Text
traceShow :: Show a => a -> b -> b
traceShowId :: Show a => a -> a
traceShowM :: (Show a, Monad m) => a -> m ()
undefined :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => a

Documentation

data Undefined Source #

Warning: Undefined type remains in code

Similar to undefined but data type.

Constructors

Undefined

Warning: Undefined type remains in code

Instances

Bounded Undefined Source #
Instance details Defined in Relude.Debug Methods minBound :: Undefined # maxBound :: Undefined #
Enum Undefined Source #
Instance details Defined in Relude.Debug 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 Source #
Instance details Defined in Relude.Debug Methods (==) :: Undefined -> Undefined -> Bool # (/=) :: Undefined -> Undefined -> Bool #
Data Undefined Source #
Instance details Defined in Relude.Debug 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 Source #
Instance details Defined in Relude.Debug 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 Source #
Instance details Defined in Relude.Debug Methods readsPrec :: Int -> ReadS Undefined # readList :: ReadS [Undefined] # readPrec :: ReadPrec Undefined # readListPrec :: ReadPrec [Undefined] #
Show Undefined Source #
Instance details Defined in Relude.Debug Methods showsPrec :: Int -> Undefined -> ShowS # show :: Undefined -> String # showList :: [Undefined] -> ShowS #
Generic Undefined Source #
Instance details Defined in Relude.Debug Associated Types type Rep Undefined :: * -> * # Methods from :: Undefined -> Rep Undefined x # to :: Rep Undefined x -> Undefined #
type Rep Undefined Source #
Instance details Defined in Relude.Debug type Rep Undefined = D1 (MetaData "Undefined" "Relude.Debug" "relude-0.1.0-3Horw5GdusjET4xxDrqYDo" False) (C1 (MetaCons "Undefined" PrefixI False) (U1 :: * -> *))

error :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => Text -> a Source #

error that takes Text as an argument.

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

Warning: trace remains in code

Generalized over string version of trace that leaves warnings.

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

Warning: traceM remains in code

Version of traceM that leaves warning and takes Text.

traceId :: Text -> Text Source #

Warning: traceId remains in code

Version of traceId that leaves warning and takes Text.

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

Warning: traceShow remains in code

Version of traceShow that leaves warning.

traceShowId :: Show a => a -> a Source #

Warning: traceShowId remains in code

Version of traceShow that leaves warning.

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

Warning: traceShowM remains in code

Version of traceShowM that leaves warning.

undefined :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => a Source #

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

undefined that leaves warning in code on every usage.