Rn016.hi 356 Bytes
Newer Older
1
_interface_ Rn016 1 400
sof's avatar
sof committed
2
_exports_
3
Rn016 K{op1 op2};
sof's avatar
sof committed
4
5
6
7
8
9
10
11
12
_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 } ;