fork download
copy 
  1. {-# LANGUAGE MultiParamTypeClasses #-}
  2. {-# LANGUAGE FunctionalDependencies #-} 
  3. {-# LANGUAGE FlexibleInstances #-}
  4.  
  5. class C a b | a -> b where
  6.   f :: a -> Int
  7. instance C () () where
  8.   f x = 1
  9.  
  10. main = print $ f ()
Success #stdin #stdout 0s 0KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
1
https://ideone.com/sdajAE
language:
Haskell (ghc 8.4.4)
created:
5 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!