From c28fa6b00ce87285d8150dd1f8dadd366c63a056 Mon Sep 17 00:00:00 2001 From: Stephen Diehl Date: Thu, 8 Dec 2016 13:12:42 +0000 Subject: [PATCH] debug module --- docs/{Applicative.rst => Applicative.md} | 6 ++-- docs/{Bool.rst => Bool.md} | 0 docs/Debug.md | 38 ++++++++++++++++++++++++ docs/{Exceptions.rst => Exceptions.md} | 0 docs/{Folds.rst => Folds.md} | 0 docs/{List.rst => List.md} | 14 ++++----- docs/{Maybe.rst => Maybe.md} | 0 docs/{Monad.rst => Monad.md} | 4 +-- docs/{Monoid.rst => Monoid.md} | 0 docs/{Numbers.rst => Numbers.md} | 0 docs/{Strings.rst => Strings.md} | 0 docs/{Tuple.rst => Tuple.md} | 0 docs/{TypeLevel.rst => TypeLevel.md} | 10 +++++++ docs/index.rst | 1 + 14 files changed, 61 insertions(+), 12 deletions(-) rename docs/{Applicative.rst => Applicative.md} (97%) rename docs/{Bool.rst => Bool.md} (100%) create mode 100644 docs/Debug.md rename docs/{Exceptions.rst => Exceptions.md} (100%) rename docs/{Folds.rst => Folds.md} (100%) rename docs/{List.rst => List.md} (94%) rename docs/{Maybe.rst => Maybe.md} (100%) rename docs/{Monad.rst => Monad.md} (99%) rename docs/{Monoid.rst => Monoid.md} (100%) rename docs/{Numbers.rst => Numbers.md} (100%) rename docs/{Strings.rst => Strings.md} (100%) rename docs/{Tuple.rst => Tuple.md} (100%) rename docs/{TypeLevel.rst => TypeLevel.md} (90%) diff --git a/docs/Applicative.rst b/docs/Applicative.md similarity index 97% rename from docs/Applicative.rst rename to docs/Applicative.md index f1f42eb7e..80fc3d8f1 100644 --- a/docs/Applicative.rst +++ b/docs/Applicative.md @@ -2,7 +2,7 @@ Applicative =========== Functor -~~~~~~~ +------- ```haskell class Functor (f :: * -> *) where @@ -19,7 +19,7 @@ class Functor (f :: * -> *) where ``` Applicatives -~~~~~~~~~~~~ +------- ```haskell class Functor f => Applicative (f :: * -> *) where @@ -46,7 +46,7 @@ eitherA :: (Alternative f) => f a -> f b -> f (Either a b) ``` Alternative -~~~~~~~~~~~ +------- ```haskell class Applicative f => Alternative (f :: * -> *) where diff --git a/docs/Bool.rst b/docs/Bool.md similarity index 100% rename from docs/Bool.rst rename to docs/Bool.md diff --git a/docs/Debug.md b/docs/Debug.md new file mode 100644 index 000000000..0a1030ff5 --- /dev/null +++ b/docs/Debug.md @@ -0,0 +1,38 @@ +Debug +===== + +```haskell +undefined :: a +``` + +```haskell +notImplemented :: a +``` + +```haskell +trace :: Print b => b -> a -> a +``` + +```haskell +traceM :: (Monad m) => Text -> m () +``` + +```haskell +traceId :: Text -> Text +``` + +```haskell +traceShowM :: (P.Show a, Monad m) => a -> m () +``` + +```haskell +traceShowId :: P.Show a => a -> a +``` + +```haskell +traceShow :: P.Show a => a -> b -> b +``` + +```haskell +traceIO :: Print b => b -> a -> IO a +``` diff --git a/docs/Exceptions.rst b/docs/Exceptions.md similarity index 100% rename from docs/Exceptions.rst rename to docs/Exceptions.md diff --git a/docs/Folds.rst b/docs/Folds.md similarity index 100% rename from docs/Folds.rst rename to docs/Folds.md diff --git a/docs/List.rst b/docs/List.md similarity index 94% rename from docs/List.rst rename to docs/List.md index 53f6275d2..97e40763e 100644 --- a/docs/List.rst +++ b/docs/List.md @@ -2,7 +2,7 @@ List ==== Slicing -~~~~~~~ +------- ```haskell head :: Foldable f => f a -> Maybe a @@ -49,7 +49,7 @@ take :: Int -> [a] -> [a] ``` Unpacking -~~~~~~~~~ +--------- ```haskell uncons :: [a] -> Maybe (a, [a]) @@ -60,21 +60,21 @@ unsnoc :: [x] -> Maybe ([x],x) ``` Sorting -~~~~~~~~~ +--------- ```haskell sortOn :: Ord o => (a -> o) -> [a] -> [a] ``` Removing -~~~~~~~~~ +--------- ```haskell ordNub :: Ord a => [a] -> [a] ``` Splitting -~~~~~~~~~ +--------- ```haskell splitAt :: Int -> [a] -> ([a], [a]) @@ -89,14 +89,14 @@ intercalate :: [a] -> [[a]] -> [a] ``` Comparison -~~~~~~~~~ +--------- ```haskell isPrefixOf :: Eq a => [a] -> [a] -> Bool ``` Filtering -~~~~~~~~~ +--------- ```haskell filter :: (a -> Bool) -> [a] -> [a] diff --git a/docs/Maybe.rst b/docs/Maybe.md similarity index 100% rename from docs/Maybe.rst rename to docs/Maybe.md diff --git a/docs/Monad.rst b/docs/Monad.md similarity index 99% rename from docs/Monad.rst rename to docs/Monad.md index 9441ef5df..4b7282f8e 100644 --- a/docs/Monad.rst +++ b/docs/Monad.md @@ -2,7 +2,7 @@ Monads ====== Monad -~~~~~ +----- ```haskell class Applicative m => Monad (m :: * -> *) where @@ -121,7 +121,7 @@ ap :: Monad m => m (a -> b) -> m a -> m b ``` MonadPlus -~~~~~~~~~ +----- ```haskell class (Alternative m, Monad m) => MonadPlus (m :: * -> *) where diff --git a/docs/Monoid.rst b/docs/Monoid.md similarity index 100% rename from docs/Monoid.rst rename to docs/Monoid.md diff --git a/docs/Numbers.rst b/docs/Numbers.md similarity index 100% rename from docs/Numbers.rst rename to docs/Numbers.md diff --git a/docs/Strings.rst b/docs/Strings.md similarity index 100% rename from docs/Strings.rst rename to docs/Strings.md diff --git a/docs/Tuple.rst b/docs/Tuple.md similarity index 100% rename from docs/Tuple.rst rename to docs/Tuple.md diff --git a/docs/TypeLevel.rst b/docs/TypeLevel.md similarity index 90% rename from docs/TypeLevel.rst rename to docs/TypeLevel.md index 3a0346a3d..7da15d2fc 100644 --- a/docs/TypeLevel.rst +++ b/docs/TypeLevel.md @@ -30,6 +30,16 @@ vacuous :: Functor f => f Void -> f a data Proxy (t :: k) = Proxy ``` +#### Symbol + +* symbolVal +* someSymbolVal + +#### Nat + +* natVal +* someNatVal + #### Type Equality ```haskell diff --git a/docs/index.rst b/docs/index.rst index 2a0ea5ad9..87fc5185f 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -6,6 +6,7 @@ An alternative Prelude. .. toctree:: :maxdepth: 0 Printing + Debug Files Strings Function