Lines Matching defs:instance
10 data instance Foo1 Bool = Foo1Bool type
11 data instance Foo1 (Maybe a) type
14 data instance Foo2 Bool = Foo2Bool function
15 data instance Foo2 (Maybe a) type
16 data instance Foo2 :: Char -> Type type
17 data instance Foo2 :: (Char -> Char) -> Type where type
20 data instance Foo3 type
21 data instance Foo3 Bool = Foo3Bool type
22 data instance Foo3 (Maybe a) type
23 data instance Foo3 :: Char -> Type type
24 data instance Foo3 :: (Char -> Char) -> Type where type