git.iko.soy/rowtype-yoga/purescript-native
on 7db07cc help sign in
rowtype-yoga/purescript-native/examples/passing/UnknownInTypeClassLookup.purs
15 lines 228 B history raw
1module Main where
3import Prelude
4import Control.Monad.Eff.Console (log)
6class EQ a b
8instance eqAA :: EQ a a
10test :: forall a b. (EQ a b) => a -> b -> String
11test _ _ = "Done"
13runTest a = test a a
15main = log $ runTest 0.0