Rn016.hi 356 Bytes
Newer Older
1
_interface_ Rn016 1 302
sof's avatar
sof committed
2
3
4
5
6
7
8
9
10
11
12
_exports_
Rn016 K(op1 op2);
_instances_
instance {K PrelBase.Int} = $d1;
instance {K PrelBase.Bool} = $d2;
instance _forall_ [a] => {K [a]} = $d3;
_declarations_
1 $d1 _:_ {K PrelBase.Int} ;;
1 $d2 _:_ {K PrelBase.Bool} ;;
1 $d3 _:_ _forall_ [a] {K PrelList.[a]} ;;
1 class K a :: (* -> *) where { op1 :: a -> a ; op2 :: a -> a } ;