The haskus-manual from haskus

haskus-manual's People

Contributors

Stargazers

Watchers

haskus-manual's Issues

include full source code, and list of language extensions

A running file with all the source code would be useful.
Also, a list of all language extensions used would be useful.

newtype -> data

Here,

newtype ConsF a e = ConsF a e deriving (Functor)
newtype NilF    e = NilF      deriving (Functor)

should use data, not newtype.

Otherwise:

* The constructor of a newtype must have exactly one field
        but `ConsF' has two

I like the library very much and the documentation is a big help getting started. Huge thanks for that. While trying out some sample code from the docs, I have encountered some typecheck errors. One example is,

class MyShow e where
  myShow :: e -> String

instance MyShow (NilF e) where
  myShow _ = "Nil"

instance (MyShow e, Show a) => MyShow (ConsF a e) where
  myShow (ConsF a l) = show a ++ " : " ++ myShow l

instance MyShow (f (EADT f)) => MyShow (EADT f) where
  {-# INLINE myShow #-}
  myShow (EADT e) = myShow e

The MyShow instance declaration for EADT throws errors.

src/Dep2.hs:172:26: error: …
    • Expecting one more argument to ‘f’
      Expected kind ‘[* -> *]’, but ‘f’ has kind ‘* -> *’
    • In the first argument of ‘EADT’, namely ‘f’
      In the first argument of ‘f’, namely ‘(EADT f)’
      In the first argument of ‘MyShow’, namely ‘(f (EADT f))’
    |

I am using haskus-utils-variant-3.1, haskus-utils-data-1.4, and haskus-utils-types-1.5. Wondering if the docs are in sync with the code.

Recommend Projects