i-am-tom/higgledy
1
1
Fork 0
mirror of https://github.com/i-am-tom/higgledy.git synced 2024-08-17 03:50:23 +03:00
Code Issues Projects Releases Wiki Activity

Relax doctests

Browse Source
This commit is contained in:
Philipp Balzarek 2019-08-01 14:29:17 +02:00
parent 4f2170e7b8
commit 3b9171e303
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Generic/HKD.hs
View File

@ -65,7 +65,7 @@ import qualified Data.Generics.Product as G
-- >>> total & field @"oops" .~ pure ()
-- ...
-- ... error:
-- ... • The type HKD User Last does not contain a field named 'oops'.
-- ... The type HKD User Last does not contain a field named 'oops'.
-- ...
field
:: forall field f structure inner
@ -91,8 +91,8 @@ field
-- >>> deconstruct ("Hello", True) ^. position @4
-- ...
-- ... error:
-- ... • The type HKD
-- ... ([Char], Bool) f does not contain a field at position 4
-- ... The type HKD
-- ... ([Char], Bool) f does not contain a field at position 4
-- ...
position
:: forall index f structure inner

6
src/Data/Generic/HKD/Build.hs
View File

@ -75,14 +75,14 @@ instance (Generic shape, GFill f with '[] (Rep shape))
-- = User { name :: String, age :: Int, likesDogs :: Bool }
-- deriving Generic
-- :}
--
--
-- >>> :{
-- test :: _
-- test = build @User
-- :}
-- ...
-- ... • Found type wildcard ‘_’
-- ... standing for ‘f [Char] -> f Int -> f Bool -> HKD User f’
-- ... Found type wildcard ...
-- ... standing for ...f [Char] -> f Int -> f Bool -> HKD User f...
-- ...
--
-- Once we call the 'build' function, and indicate the type we want to build,