git.iko.soy/rowtype-yoga/purescript-native
on 73dd351 help sign in
rowtype-yoga/purescript-native/examples/passing/EmptyTypeClass.purs
18 lines 302 B history raw
1module EmptyTypeClass where
3class Partial
5head :: forall a. (Partial) => [a] -> a
6head (x:xs) = x
8module AllowPartialFns where
10instance allowPartials :: EmptyTypeClass.Partial
12module Main where
14import Prelude
15import AllowPartialFns
16import EmptyTypeClass
18main = Debug.Trace.trace $ head ["Done"]