Instance docs: simplify test case
commit75bf0d82428540f4ef0b976c1ffe9acd1a22bfef
authorAdam Sandberg Eriksson <adam@sandbergericsson.se>
dateTue 10 Mar 2015, 10:43 (12 years ago)
parent540f817
test/interactive008/expected+5−4
@@ -1,14 +1,15 @@
1+Type checking ./interactive008.idr
12*interactive008> Type class C
23 class
34
45Parameters:
5− t
6+ t -- a type
67
78Methods:
8− f : C t => t
9− member
9+ m : C t => t
10+ member of class
1011
1112Instances:
1213 C A
13− instance
14+ instance of class
1415*interactive008> Bye bye
test/interactive008/interactive008.idr+6−7
@@ -1,13 +1,12 @@
1−
21||| class
2+||| @ t a type
33class C (t : Type) where
4− ||| member
5− f : t
4+ ||| member of class
5+ m : t
66
77||| type
8−data A : Type where
9− i : A
8+data A = B
109
11−||| instance
10+||| instance of class
1211instance C A where
13− f = i
12+ m = B