Changes in src/libcfa/iostream [e1780a2:53a6c2a]

File:

• src/libcfa/iostream (modified) (4 diffs)

src/libcfa/iostream

@@ -10 +10 @@
 // Created On       : Wed May 27 17:56:53 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Aug  9 16:42:47 2017
-// Update Count     : 131
+// Last Modified On : Fri Jul  7 08:35:59 2017
+// Update Count     : 118
 //
 
@@ -46 +46 @@
 }; // ostream
 
-// trait writeable( otype T ) {
-//      forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, T );
-// }; // writeable
-
-trait writeable( otype T, dtype ostype | ostream( ostype ) ) {
-        ostype * ?|?( ostype *, T );
+trait writeable( otype T ) {
+        forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, T );
 }; // writeable
 
@@ -81 +77 @@
 
 // tuples
-forall( dtype ostype, otype T, ttype Params | writeable( T, ostype ) | { ostype * ?|?( ostype *, Params ); } )
-ostype * ?|?( ostype * os, T arg, Params rest );
+forall( dtype ostype, otype T, ttype Params | ostream( ostype ) | writeable( T ) | { ostype * ?|?( ostype *, Params ); } ) ostype * ?|?( ostype * os, T arg, Params rest );
 
 // manipulators
@@ -95 +90 @@
 
 // writes the range [begin, end) to the given stream
-forall( dtype ostype, otype elt_type | writeable( elt_type, ostype ), otype iterator_type | iterator( iterator_type, elt_type ) )
-void write( iterator_type begin, iterator_type end, ostype * os );
+forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
+void write( iterator_type begin, iterator_type end, os_type *os );
 
-forall( dtype ostype, otype elt_type | writeable( elt_type, ostype ), otype iterator_type | iterator( iterator_type, elt_type ) )
-void write_reverse( iterator_type begin, iterator_type end, ostype * os );
+forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) )
+void write_reverse( iterator_type begin, iterator_type end, os_type *os );
 
 //---------------------------------------