import Data for tests

This commit is contained in:
Tony Morris 2015-05-21 11:52:57 +10:00
parent f960fb1bc7
commit dfb45eb66a
4 changed files with 4 additions and 0 deletions

View file

@ -51,6 +51,7 @@ import Prelude hiding (product)
-- >>> import qualified Data.Map as Map(fromList) -- >>> import qualified Data.Map as Map(fromList)
-- >>> import qualified Data.Set as Set(fromList) -- >>> import qualified Data.Set as Set(fromList)
-- >>> import Data.Char(ord) -- >>> import Data.Char(ord)
-- >>> import Lets.Data
data Lens a b = data Lens a b =
Lens Lens

View file

@ -92,6 +92,7 @@ import Prelude hiding (product)
-- >>> import qualified Data.Map as Map(fromList) -- >>> import qualified Data.Map as Map(fromList)
-- >>> import qualified Data.Set as Set(fromList) -- >>> import qualified Data.Set as Set(fromList)
-- >>> import Data.Char(ord) -- >>> import Data.Char(ord)
-- >>> import Lets.Data
-- Let's remind ourselves of Traversable, noting Foldable and Functor. -- Let's remind ourselves of Traversable, noting Foldable and Functor.
-- --

View file

@ -55,6 +55,7 @@ import Prelude hiding (product)
-- >>> import qualified Data.Map as Map(fromList) -- >>> import qualified Data.Map as Map(fromList)
-- >>> import qualified Data.Set as Set(fromList) -- >>> import qualified Data.Set as Set(fromList)
-- >>> import Data.Char(ord) -- >>> import Data.Char(ord)
-- >>> import Lets.Data
data Lens s t a b = data Lens s t a b =
Lens Lens

View file

@ -59,6 +59,7 @@ import Prelude hiding (product)
-- >>> import qualified Data.Map as Map(fromList) -- >>> import qualified Data.Map as Map(fromList)
-- >>> import qualified Data.Set as Set(fromList) -- >>> import qualified Data.Set as Set(fromList)
-- >>> import Data.Char(ord) -- >>> import Data.Char(ord)
-- >>> import Lets.Data
setS :: setS ::
Store s a Store s a