Added export and totality directives (#4360)
commitb93fe6b9602f5c31e5b97c6a8a0a0bd6b0b7aeee
authorbadbadboy <pkapustin@gmail.com>
dateWed 28 Feb 2018, 17:22 (9 years ago)
parent507a731
libs/contrib/Data/List/Group.idr+3
@@ -1,5 +1,8 @@
11module Data.List.Group
22
3+%default total
4+%access export
5+
36||| The groupBy function returns a list of lists such that the concatenation
47||| of the list is equal to the argument, and each sublist contains only
58||| elements that are equal according to the user-supplied predicate.
libs/contrib/Data/List/Permutations.idr+2
@@ -1,5 +1,7 @@
11module Permutations
22
3+%access export
4+
35-- | All permutations of a list.
46permutations : List a -> List (List a)
57permutations [] = [[]]