Add name hints for streams

brendanzab · brendanzab · commit 01a285283882 · 2022-08-30T15:38:46.000+10:00
diff --git a/experiments/idris/src/Fathom/Base.idr b/experiments/idris/src/Fathom/Base.idr
@@ -52,20 +52,28 @@ public export
 BitStream : Type
 BitStream = Colist Bool
 
+%name BitStream stream
+
 
 ||| A possibly infinite stream of bytes
 public export
 ByteStream : Type
 ByteStream = Colist Bits8
 
+%name ByteStream stream
+
 
 ||| A finite bit buffer
 public export
 BitBuffer : Type
 BitBuffer = List Bool
 
+%name BitBuffer buffer
+
 
 ||| A finite byte buffer
 public export
 ByteBuffer : Type
 ByteBuffer = List Bits8
+
+%name ByteBuffer buffer
