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