Merge pull request #4180 from msmorgan/string-extra-access
Data.String.Extra: add missing access directive
commit743abd3f9da0a4f6134dae80ad628ec7b9c7afd3
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateTue 7 Nov 2017, 09:26 (9 years ago)
parentd6c48eed2a3cf0
libs/contrib/Data/String/Extra.idr+3
@@ -1,5 +1,8 @@
11module Data.String.Extra
22
3+%access public export
4+%default total
5+
36infixl 5 +>
47infixr 5 <+
58