git.iko.soy/rowtype-yoga/purescript-native
on bcb8d32 help sign in
rowtype-yoga/purescript-native/examples/passing/CheckTypeClass.purs
18 lines 292 B history raw
1module Main where
3import Prelude
5data Bar a = Bar
6data Baz
8class Foo a where
9 foo :: Bar a -> Baz
11foo_ :: forall a. (Foo a) => a -> Baz
12foo_ x = foo ((mkBar :: forall a. (Foo a) => a -> Bar a) x)
14mkBar :: forall a. a -> Bar a
15mkBar _ = Bar
17main = Control.Monad.Eff.Console.log "Done"