mirror of
https://github.com/i-am-tom/higgledy.git
synced 2024-08-17 03:50:23 +03:00
Merge pull request #14 from Philonous/nightly
Update for stackage nightly
This commit is contained in:
commit
c8155305f5
@ -26,7 +26,7 @@ library
|
||||
build-depends: base ^>= 4.12
|
||||
, barbies ^>= 1.1.0
|
||||
, generic-lens ^>= 1.1.0
|
||||
, QuickCheck ^>= 2.12.6
|
||||
, QuickCheck >= 2.12.6 && < 2.14
|
||||
hs-source-dirs: src
|
||||
default-language: Haskell2010
|
||||
|
||||
@ -35,9 +35,9 @@ test-suite test
|
||||
, barbies ^>= 1.1.0
|
||||
, doctest ^>= 0.16.0
|
||||
, higgledy
|
||||
, hspec ^>= 2.6.1
|
||||
, hspec >= 2.6.1 && < 2.8
|
||||
, lens ^>= 4.17
|
||||
, QuickCheck ^>= 2.12.6
|
||||
, QuickCheck >= 2.12.6 && < 2.14
|
||||
main-is: Main.hs
|
||||
type: exitcode-stdio-1.0
|
||||
hs-source-dirs: test
|
||||
|
@ -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
|
||||
|
@ -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,
|
||||
|
Loading…
Reference in New Issue
Block a user