Haskell type class "parse error on input instance"

Question

I am working on a homework and need some help The task: In the first step I need to define a new type class for a overloaded function "genDrop". It should behave like "drop" (for Int), but not limited to Int. In a second step it should be instantiated for types Int, Nat, PosNat and Int'.

So here my code:

class GenDrop a where
     genDrop :: a -> [a] -> [a]


    instance GenDrop Int where
        genDrop 0 s = s
        genDrop n (_:s) | n>0 = genDrop (n-1) s
        genDrop _ [] = []

    instance GenDrop Nat where
        genDrop Zero s = s
        genDrop (Succ n) (_:s)  = genDrop n s
        genDrop _ [] = []

    instance GenDrop PosNat where
        genDrop One (_:s)= s
        genDrop (Succ' n) (_:s) = genDrop n s
        genDrop _ [] = []

    instance GenDrop Int' where
        genDrop Zero' s = s
        genDrop (Plus n) (_:s) = genDrop n s
        genDrop (Minus n) s = s
        genDrop _ [] = []

But on compiling i get an error:

parse error on input 'instance'
instance GenDrop Int where

I can't figure out whats wrong.

It might not matter but here the definitions: data Nat = Zero | Succ Nat data PosNat = One | Succ' PosNat data Int' = Zero' | Plus PosNat | Minus PosNat — Dortmunder
– Dortmunder, Commented Dec 7, 2018 at 12:12
Is the indentation here the same as in your code? You need to move the instance definitions outside the class declaration. — Lee
– Lee, Commented Dec 7, 2018 at 12:15
You need to indent your instances so that the word instance starts on the same column as the word class, i.e. at the very beginning of the line. — chi
– chi, Commented Dec 7, 2018 at 12:20

AJF · Accepted Answer · 2018-12-07 13:07:16Z

2

The instance declarations are not part of the class declaration: don't indent them as if they are. Indentation matters in Haskell.

Here is the corrected code:

class GenDrop a where
    genDrop :: a -> [a] -> [a]

instance GenDrop Int where
    genDrop 0 s = s
    genDrop n (_:s) | n>0 = genDrop (n-1) s
    genDrop _ [] = []

instance GenDrop Nat where
    genDrop Zero s = s
    genDrop (Succ n) (_:s)  = genDrop n s
    genDrop _ [] = []

instance GenDrop PosNat where
    genDrop One (_:s)= s
    genDrop (Succ' n) (_:s) = genDrop n s
    genDrop _ [] = []

instance GenDrop Int' where
    genDrop Zero' s = s
    genDrop (Plus n) (_:s) = genDrop n s
    genDrop (Minus n) s = s
    genDrop _ [] = []

answered Dec 7, 2018 at 13:07

AJF

11.9k2 gold badges41 silver badges64 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

Haskell type class "parse error on input instance"

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related