Copyright | (c) 2016 Stephen Diehl (c) 2016-2018 Serokell (c) 2018-2019 Kowainik |
---|---|
License | MIT |
Maintainer | Kowainik <xrom.xkov@gmail.com> |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Relude.Debug
Contents
Description
Functions for debugging. If you left these functions in your code then a warning is generated to remind you about left usages. Also some functions (and data types) are convenient for prototyping.
Synopsis
- trace :: String -> a -> a
- traceM :: Applicative f => String -> f ()
- traceId :: String -> String
- traceShow :: Show a => a -> b -> b
- traceShowId :: Show a => a -> a
- traceShowM :: (Show a, Applicative f) => a -> f ()
- error :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => Text -> a
- data Undefined = Undefined
- undefined :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => a
Tracing
traceM :: Applicative f => String -> f () #
traceShowId :: Show a => a -> a #
Warning: traceShowId
remains in code
Version of traceShowId
that leaves warning.
traceShowM :: (Show a, Applicative f) => a -> f () #
Warning: traceShowM
remains in code
Version of traceShowM
that leaves warning.
Imprecise error
error :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => Text -> a #
error
that takes Text
as an argument.
Instances
Bounded Undefined # | |
Enum Undefined # | |
Defined in Relude.Debug Methods succ :: Undefined -> Undefined # pred :: Undefined -> Undefined # fromEnum :: Undefined -> Int # enumFrom :: Undefined -> [Undefined] # enumFromThen :: Undefined -> Undefined -> [Undefined] # enumFromTo :: Undefined -> Undefined -> [Undefined] # enumFromThenTo :: Undefined -> Undefined -> Undefined -> [Undefined] # | |
Eq Undefined # | |
Data Undefined # | |
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 # | |
Read Undefined # | |
Defined in Relude.Debug | |
Show Undefined # | |
Generic Undefined # | |
type Rep Undefined # | |
undefined :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => a #
Warning: undefined
function remains in code
undefined
that leaves warning in code on every usage.