diff options
Diffstat (limited to 'frontend/general.icl')
| -rw-r--r-- | frontend/general.icl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/frontend/general.icl b/frontend/general.icl index 4ac4931..3506334 100644 --- a/frontend/general.icl +++ b/frontend/general.icl @@ -44,6 +44,14 @@ instance <<< (a,b,c,d,e) | <<< a & <<< b & <<< c & <<< d & <<< e where (<<<) file (v,w,x,y,z) = file <<< '(' <<< v <<< ", " <<< w <<< ", " <<< x <<< ", " <<< y <<< ", " <<< z <<< ") " +instance <<< (a,b,c,d,e,f) | <<< a & <<< b & <<< c & <<< d & <<< e & <<< f +where + (<<<) file (u,v,w,x,y,z) = file <<< '(' <<< u <<< ", " <<< v <<< ", " <<< w <<< ", " <<< x <<< ", " <<< y <<< ", " <<< z <<< ") " + +instance <<< (a,b,c,d,e,f,g) | <<< a & <<< b & <<< c & <<< d & <<< e & <<< f & <<< g +where + (<<<) file (t,u,v,w,x,y,z) = file <<< '(' <<< t <<< ", " <<< u <<< ", " <<< v <<< ", " <<< w <<< ", " <<< x <<< ", " <<< y <<< ", " <<< z <<< ") " + instance <<< [a] | <<< a where (<<<) file [] = file <<< "[]" |