change export rules for module
commit617f8a882682fb8da4ab8e8dcfbe7800858b2269
authorVyacheslav Shebanov <terminal2010@gmail.com>
dateMon 5 Dec 2016, 00:36 (10 years ago)
parent01aff97
libs/base/Data/String/Views.idr+2
@@ -1,5 +1,7 @@
11module Data.String.Views
22
3+%access public export
4+
35||| View for traversing a String one character at a time
46data StrList : String -> Type where
57 SNil : StrList ""