Run Code
|
API
|
Code Wall
|
Users
|
Misc
|
Feedback
|
Login
|
Theme
|
Privacy
|
Patreon
Derive type class for parameterized data type
{-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE RankNTypes #-} --{-# LANGUAGE UndecidableInstances #-} data PersonF f = PersonF { name :: f String , age :: f Int , likes :: [String] } --deriving (Show, Eq) -- How can I derive this? deriving instance Eq (f a) => Eq (PersonF f) main = print $ "Hello, world!"
run
|
edit
|
history
|
help
0
Please
log in
to post a comment.
Square root
Calculate Integral of function
Goodstein sequences
(⁄⁄>⁄▽⁄<⁄⁄)
ad-hoc braille dot rendering
Monoid and friends
Reader
Znajdz trójkąty prostokątne
credit card number validator
project euler 9, haskell
Please log in to post a comment.