mirror of
https://github.com/Lysxia/generic-random.git
synced 2024-10-05 21:38:10 +03:00
doc: typos
This commit is contained in:
parent
3fb7ae1565
commit
835c352e46
@ -113,8 +113,7 @@ genericArbitraryRec = genericArbitraryWith sizedOptsDef
|
||||
-- customGens :: Gen String ':+' Gen Int
|
||||
-- customGens =
|
||||
-- (filter (/= '\NUL') '<$>' arbitrary) ':+'
|
||||
-- (getNonNegative '<$>' arbitrary) ':+'
|
||||
-- ()
|
||||
-- (getNonNegative '<$>' arbitrary)
|
||||
-- @
|
||||
--
|
||||
-- === Note on multiple matches
|
||||
@ -527,6 +526,7 @@ type family Arity f :: Nat where
|
||||
-- > ---------------------+-----------------------------
|
||||
-- > (), () | END
|
||||
-- > (), g :+ gs | g, gs
|
||||
-- > (), g | g, () when g is not (_ :+ _)
|
||||
-- > g :+ h, gs | g, h :+ gs
|
||||
-- > Gen a, gs | END if matching, else (), gs
|
||||
-- > FieldGen a, gs | idem
|
||||
|
Loading…
Reference in New Issue
Block a user