Data/Collection/DistinctListSet.ad

Outline



Content


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96



module Data.Collection.DistinctListSet (
  DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable(..)case-constant `caseDistinctListSet`
constructor `DistinctListSet`

) where

import qualified Data.List as List

datatype DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'atype-variable `'a`
   kind `*` := DistinctListSet ['atype-variable `'a`
   kind `*`]

instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => Semigrouptype-class `Prelude.BasicClasses.Semigroup`
   arguments: ('a :: *) (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) where
  define (<>)constant `Prelude.BasicClasses.(<>)`
   constant of type-class instance `Eq 'e => Semigroup (DistinctListSet 'e)`
   type `DistinctListSet 'e -> DistinctListSet 'e -> DistinctListSet 'e`
   executable (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l1variable `l1`
   type `['e]`) (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l2variable `l2`
   type `['e]`) :=
    DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable (l1variable `l1`
   type `['e]` <>constant `Prelude.BasicClasses.(<>)`
   constant of type-class `Semigroup`
   type `'a -> 'a -> 'a`
   type in context `['e] -> ['e] -> ['e]`
   executable
   statically resolved type-class instance (List.filterconstant `Prelude.List.filter`
   constant
   type `('a -> Bool) -> ['a] -> ['a]`
   type in context `('e -> Bool) -> ['e] -> ['e]`
   executable (fntype `'e -> Bool` xvariable `x`
   type `'e` -> notconstant `Prelude.Bool.not`
   constant
   type `Bool -> Bool`
   executable (List.elemconstant `Prelude.List.elem`
   constant
   type `Eq 'a => 'a -> ['a] -> Bool`
   type in context `'e -> ['e] -> Bool`
   executable xvariable `x`
   type `'e` l1variable `l1`
   type `['e]`)) l2variable `l2`
   type `['e]`))
end-instance

instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => Monoidtype-class `Prelude.BasicClasses.Monoid`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.BasicClasses.Semigroup 'a (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) where
  define memptyconstant `Prelude.BasicClasses.mempty`
   constant of type-class instance `Eq 'e => Monoid (DistinctListSet 'e)`
   type `DistinctListSet 'e`
   executable := DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable []
end-instance

instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => Collectiontype-class `Prelude.Collection.Collection`
   arguments: ('c :: *) ('e :: *)
   functional deps: 'c -> 'e
   super-class constraints:
     - Prelude.BasicClasses.Monoid 'c (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) 'etype-variable `'e`
   kind `*` where
  define insertconstant `Prelude.Collection.insert`
   constant of type-class instance `Eq 'e => Collection (DistinctListSet 'e) 'e`
   type `'e -> DistinctListSet 'e -> DistinctListSet 'e`
   executable evariable `e`
   type `'e` (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable lvariable `l`
   type `['e]`) :=
    DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable (if elemconstant `Prelude.Foldable.elem`
   constant of type-class `Foldable`
   type `Eq 'e => 'e -> 't -> Bool`
   type in context `'e -> ['e] -> Bool`
   executable
   statically resolved type-class instance evariable `e`
   type `'e` lvariable `l`
   type `['e]` then lvariable `l`
   type `['e]` else evariable `e`
   type `'e`:constant `Prelude.List.(:)`
   constructor of datatype `List`
   type `'a -> ['a] -> ['a]`
   type in context `'e -> ['e] -> ['e]`
   executablelvariable `l`
   type `['e]`)

  define fromListconstant `Prelude.Collection.fromList`
   constant of type-class instance `Eq 'e => Collection (DistinctListSet 'e) 'e`
   type `['e] -> DistinctListSet 'e`
   executable lvariable `l`
   type `['e]` := DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable (List.nubconstant `Prelude.List.nub`
   constant
   type `Eq 'a => ['a] -> ['a]`
   type in context `['e] -> ['e]`
   executable lvariable `l`
   type `['e]`)
  {-# inline fromListconstant `Prelude.Collection.fromList`
   constant of type-class instance `Eq 'e => Collection (DistinctListSet 'e) 'e`
   type `['e] -> DistinctListSet 'e`
   executable #-}

  define non-exec isEmptyPconstant `Prelude.Collection.isEmptyP`
   constant of type-class instance `Eq 'e => Collection (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> Prop`
   non-executable (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable lvariable `l`
   type `['e]`) := bool2propconstant `Prelude.Bool.bool2prop`
   constant
   type `Bool -> Prop`
   non-executable (nullconstant `Prelude.Foldable.null`
   constant of type-class `Foldable`
   type `'t -> Bool`
   type in context `['e] -> Bool`
   executable
   statically resolved type-class instance lvariable `l`
   type `['e]`)
  define non-exec memberPconstant `Prelude.Collection.memberP`
   constant of type-class instance `Eq 'e => Collection (DistinctListSet 'e) 'e`
   type `EqP 'e => 'e -> DistinctListSet 'e -> Prop`
   non-executable evariable `e`
   type `'e` (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable lvariable `l`
   type `['e]`) := List.elemPconstant `Prelude.List.elemP`
   constant
   type `EqP 'a => 'a -> ['a] -> Prop`
   type in context `'e -> ['e] -> Prop`
   non-executable evariable `e`
   type `'e` lvariable `l`
   type `['e]`
end-instance

instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => CollectionWithMembershipTesttype-class `Prelude.Collection.CollectionWithMembershipTest`
   arguments: ('c :: *) ('e :: *)
   functional deps: 'c -> 'e
   super-class constraints:
     - Prelude.Collection.Collection 'c 'e (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) 'etype-variable `'e`
   kind `*` where
  define occurconstant `Prelude.Collection.occur`
   constant of type-class instance `Eq 'e => CollectionWithMembershipTest (DistinctListSet 'e) 'e`
   type `Eq 'e => 'e -> DistinctListSet 'e -> Natural`
   executable evariable `e`
   type `'e` dlvariable `dl`
   type `DistinctListSet 'e` := if memberconstant `Prelude.Collection.member`
   constant of type-class `CollectionWithMembershipTest`
   type `Eq 'e => 'e -> 'c -> Bool`
   type in context `'e -> DistinctListSet 'e -> Bool`
   executable
   same type-class instance evariable `e`
   type `'e` dlvariable `dl`
   type `DistinctListSet 'e` then 1natural number literal
   type `Natural`
   decimal value: 1
   hexadecimal value: 0x1
   octal value: 0o1
   binary value: 0b1 else 0natural number literal
   type `Natural`
   decimal value: 0
   hexadecimal value: 0x0
   octal value: 0o0
   binary value: 0b0
  define memberconstant `Prelude.Collection.member`
   constant of type-class instance `Eq 'e => CollectionWithMembershipTest (DistinctListSet 'e) 'e`
   type `Eq 'e => 'e -> DistinctListSet 'e -> Bool`
   executable evariable `e`
   type `'e` (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable lvariable `l`
   type `['e]`):= elemconstant `Prelude.Foldable.elem`
   constant of type-class `Foldable`
   type `Eq 'e => 'e -> 't -> Bool`
   type in context `'e -> ['e] -> Bool`
   executable
   statically resolved type-class instance evariable `e`
   type `'e` lvariable `l`
   type `['e]`
end-instance

instance Foldabletype-class `Prelude.Foldable.Foldable`
   arguments: ('t :: *) ('e :: *)
   functional deps: 't -> 'e
   reserved var-names: 'acc (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) 'etype-variable `'e`
   kind `*` where
  define toListconstant `Prelude.Foldable.toList`
   constant of type-class instance `Foldable (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> ['e]`
   executable (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable dlvariable `dl`
   type `['e]`) := dlvariable `dl`
   type `['e]`
  {-# inline toListconstant `Prelude.Foldable.toList`
   constant of type-class instance `Foldable (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> ['e]`
   executable #-}

  define foldlconstant `Prelude.Foldable.foldl`
   constant of type-class instance `Foldable (DistinctListSet 'e) 'e`
   type `('acc -> 'e -> 'acc) -> 'acc -> DistinctListSet 'e -> 'acc`
   executable fvariable `f`
   type `'acc -> 'e -> 'acc` accvariable `acc`
   type `'acc` (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable dlvariable `dl`
   type `['e]`):= List.foldlconstant `Prelude.List.foldl`
   constant
   type `('a -> 'b -> 'a) -> 'a -> ['b] -> 'a`
   type in context `('acc -> 'e -> 'acc) -> 'acc -> ['e] -> 'acc`
   executable fvariable `f`
   type `'acc -> 'e -> 'acc` accvariable `acc`
   type `'acc` dlvariable `dl`
   type `['e]`
  define foldrconstant `Prelude.Foldable.foldr`
   constant of type-class instance `Foldable (DistinctListSet 'e) 'e`
   type `('e -> 'acc -> 'acc) -> 'acc -> DistinctListSet 'e -> 'acc`
   executable fvariable `f`
   type `'e -> 'acc -> 'acc` accvariable `acc`
   type `'acc` (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable dlvariable `dl`
   type `['e]`):= List.foldrconstant `Prelude.List.foldr`
   constant
   type `('a -> 'b -> 'b) -> 'b -> ['a] -> 'b`
   type in context `('e -> 'acc -> 'acc) -> 'acc -> ['e] -> 'acc`
   executable fvariable `f`
   type `'e -> 'acc -> 'acc` accvariable `acc`
   type `'acc` dlvariable `dl`
   type `['e]`
  define sizeconstant `Prelude.Foldable.size`
   constant of type-class instance `Foldable (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> Natural`
   executable (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable dlvariable `dl`
   type `['e]`) := List.lengthconstant `Prelude.List.length`
   constant
   type `['a] -> Natural`
   type in context `['e] -> Natural`
   executable dlvariable `dl`
   type `['e]`
  define nullconstant `Prelude.Foldable.null`
   constant of type-class instance `Foldable (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> Bool`
   executable (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable dlvariable `dl`
   type `['e]`) := List.nullconstant `Prelude.List.null`
   constant
   type `['a] -> Bool`
   type in context `['e] -> Bool`
   executable dlvariable `dl`
   type `['e]`
  define elemconstant `Prelude.Foldable.elem`
   constant of type-class instance `Foldable (DistinctListSet 'e) 'e`
   type `Eq 'e => 'e -> DistinctListSet 'e -> Bool`
   executable evariable `e`
   type `'e` (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable dlvariable `dl`
   type `['e]`):= List.elemconstant `Prelude.List.elem`
   constant
   type `Eq 'a => 'a -> ['a] -> Bool`
   type in context `'e -> ['e] -> Bool`
   executable evariable `e`
   type `'e` dlvariable `dl`
   type `['e]`
end-instance


instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => CollectionWithEmptynessTesttype-class `Prelude.Collection.CollectionWithEmptynessTest`
   arguments: ('c :: *) ('e :: *)
   functional deps: 'c -> 'e
   super-class constraints:
     - Prelude.Collection.Collection 'c 'e (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) 'etype-variable `'e`
   kind `*` where
  define isEmptyconstant `Prelude.Collection.isEmpty`
   constant of type-class instance `Eq 'e => CollectionWithEmptynessTest (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> Bool`
   executable := nullconstant `Prelude.Foldable.null`
   constant of type-class `Foldable`
   type `'t -> Bool`
   type in context `DistinctListSet 'e -> Bool`
   executable
   statically resolved type-class instance
  {-#  inline isEmptyconstant `Prelude.Collection.isEmpty`
   constant of type-class instance `Eq 'e => CollectionWithEmptynessTest (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> Bool`
   executable #-}
end-instance


instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => CollectionWithDeletetype-class `Prelude.Collection.CollectionWithDelete`
   arguments: ('c :: *) ('e :: *)
   functional deps: 'c -> 'e
   super-class constraints:
     - Prelude.Eq.Eq 'e
     - Prelude.Collection.CollectionWithMembershipTest 'c 'e (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) 'etype-variable `'e`
   kind `*` where
  define deleteconstant `Prelude.Collection.delete`
   constant of type-class instance `Eq 'e => CollectionWithDelete (DistinctListSet 'e) 'e`
   type `'e -> DistinctListSet 'e -> DistinctListSet 'e`
   executable evariable `e`
   type `'e` (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable lvariable `l`
   type `['e]`) := DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable (List.removeFirstconstant `Prelude.List.removeFirst`
   constant
   type `('a -> Bool) -> ['a] -> ['a]`
   type in context `('e -> Bool) -> ['e] -> ['e]`
   executable ((==)constant `Prelude.Eq.(==)`
   constant of type-class `Eq`
   type `'a -> 'a -> Bool`
   type in context `'e -> 'e -> Bool`
   executable
   type-class instance from context evariable `e`
   type `'e`) lvariable `l`
   type `['e]`)

  define filterconstant `Prelude.Collection.filter`
   constant of type-class instance `Eq 'e => CollectionWithDelete (DistinctListSet 'e) 'e`
   type `('e -> Bool) -> DistinctListSet 'e -> DistinctListSet 'e`
   executable pvariable `p`
   type `'e -> Bool` (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable lvariable `l`
   type `['e]`) := DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable (List.filterconstant `Prelude.List.filter`
   constant
   type `('a -> Bool) -> ['a] -> ['a]`
   type in context `('e -> Bool) -> ['e] -> ['e]`
   executable pvariable `p`
   type `'e -> Bool` lvariable `l`
   type `['e]`)

  define partitionconstant `Prelude.Collection.partition`
   constant of type-class instance `Eq 'e => CollectionWithDelete (DistinctListSet 'e) 'e`
   type `('e -> Bool) -> DistinctListSet 'e -> (DistinctListSet 'e, DistinctListSet 'e)`
   executable pvariable `p`
   type `'e -> Bool` (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable lvariable `l`
   type `['e]`) :=
    let
      val (l1variable `l1`
   type `['e]`, l2variable `l2`
   type `['e]`) = List.partitionconstant `Prelude.List.partition`
   constant
   type `('a -> Bool) -> ['a] -> (['a], ['a])`
   type in context `('e -> Bool) -> ['e] -> (['e], ['e])`
   executable pvariable `p`
   type `'e -> Bool` lvariable `l`
   type `['e]`
    in
      (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l1variable `l1`
   type `['e]`, DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l2variable `l2`
   type `['e]`)
    end

  define differenceconstant `Prelude.Collection.difference`
   constant of type-class instance `Eq 'e => CollectionWithDelete (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> DistinctListSet 'e -> DistinctListSet 'e`
   executable (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l1variable `l1`
   type `['e]`) (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l2variable `l2`
   type `['e]`) :=
    DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable (List.filterconstant `Prelude.List.filter`
   constant
   type `('a -> Bool) -> ['a] -> ['a]`
   type in context `('e -> Bool) -> ['e] -> ['e]`
   executable (fntype `'e -> Bool` xvariable `x`
   type `'e` -> notconstant `Prelude.Bool.not`
   constant
   type `Bool -> Bool`
   executable (List.elemconstant `Prelude.List.elem`
   constant
   type `Eq 'a => 'a -> ['a] -> Bool`
   type in context `'e -> ['e] -> Bool`
   executable xvariable `x`
   type `'e` l2variable `l2`
   type `['e]`)) l1variable `l1`
   type `['e]`)

  define intersectionconstant `Prelude.Collection.intersection`
   constant of type-class instance `Eq 'e => CollectionWithDelete (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> DistinctListSet 'e -> DistinctListSet 'e`
   executable (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l1variable `l1`
   type `['e]`) (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l2variable `l2`
   type `['e]`) :=
    DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable (List.filterconstant `Prelude.List.filter`
   constant
   type `('a -> Bool) -> ['a] -> ['a]`
   type in context `('e -> Bool) -> ['e] -> ['e]`
   executable (fntype `'e -> Bool` xvariable `x`
   type `'e` -> List.elemconstant `Prelude.List.elem`
   constant
   type `Eq 'a => 'a -> ['a] -> Bool`
   type in context `'e -> ['e] -> Bool`
   executable xvariable `x`
   type `'e` l2variable `l2`
   type `['e]`) l1variable `l1`
   type `['e]`)

end-instance

instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => CollectionWithSubsetTesttype-class `Prelude.Collection.CollectionWithSubsetTest`
   arguments: ('c :: *) ('e :: *)
   functional deps: 'c -> 'e
   super-class constraints:
     - Prelude.Collection.CollectionWithDelete 'c 'e
     - Prelude.Collection.CollectionWithEmptynessTest 'c 'e (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) 'etype-variable `'e`
   kind `*` where
  define isSubsetOfconstant `Prelude.Collection.isSubsetOf`
   constant of type-class instance `Eq 'e => CollectionWithSubsetTest (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> DistinctListSet 'e -> Bool`
   executable (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l1variable `l1`
   type `['e]`) (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l2variable `l2`
   type `['e]`) :=
    List.allconstant `Prelude.List.all`
   constant
   type `('a -> Bool) -> ['a] -> Bool`
   type in context `('e -> Bool) -> ['e] -> Bool`
   executable (fntype `'e -> Bool` xvariable `x`
   type `'e` -> List.elemconstant `Prelude.List.elem`
   constant
   type `Eq 'a => 'a -> ['a] -> Bool`
   type in context `'e -> ['e] -> Bool`
   executable xvariable `x`
   type `'e` l2variable `l2`
   type `['e]`) l1variable `l1`
   type `['e]`

  define isProperSubsetOfconstant `Prelude.Collection.isProperSubsetOf`
   constant of type-class instance `Eq 'e => CollectionWithSubsetTest (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> DistinctListSet 'e -> Bool`
   executable xsvariable `xs`
   type `DistinctListSet 'e` ysvariable `ys`
   type `DistinctListSet 'e` := isSubsetOfconstant `Prelude.Collection.isSubsetOf`
   constant of type-class `CollectionWithSubsetTest`
   type `'c -> 'c -> Bool`
   type in context `DistinctListSet 'e -> DistinctListSet 'e -> Bool`
   executable
   same type-class instance xsvariable `xs`
   type `DistinctListSet 'e` ysvariable `ys`
   type `DistinctListSet 'e` &&constant `Prelude.Bool.(&&)`
   constant
   type `Bool -> Bool -> Bool`
   executable (sizeconstant `Prelude.Foldable.size`
   constant of type-class `Foldable`
   type `'t -> Natural`
   type in context `DistinctListSet 'e -> Natural`
   executable
   statically resolved type-class instance xsvariable `xs`
   type `DistinctListSet 'e` <constant `Prelude.Ord.(<)`
   constant of type-class `Ord`
   type `'a -> 'a -> Bool`
   type in context `Natural -> Natural -> Bool`
   executable
   statically resolved type-class instance sizeconstant `Prelude.Foldable.size`
   constant of type-class `Foldable`
   type `'t -> Natural`
   type in context `DistinctListSet 'e -> Natural`
   executable
   statically resolved type-class instance ysvariable `ys`
   type `DistinctListSet 'e`)

  define isSetEquivconstant `Prelude.Collection.isSetEquiv`
   constant of type-class instance `Eq 'e => CollectionWithSubsetTest (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> DistinctListSet 'e -> Bool`
   executable xsvariable `xs`
   type `DistinctListSet 'e` ysvariable `ys`
   type `DistinctListSet 'e` := isSubsetOfconstant `Prelude.Collection.isSubsetOf`
   constant of type-class `CollectionWithSubsetTest`
   type `'c -> 'c -> Bool`
   type in context `DistinctListSet 'e -> DistinctListSet 'e -> Bool`
   executable
   same type-class instance xsvariable `xs`
   type `DistinctListSet 'e` ysvariable `ys`
   type `DistinctListSet 'e` &&constant `Prelude.Bool.(&&)`
   constant
   type `Bool -> Bool -> Bool`
   executable (sizeconstant `Prelude.Foldable.size`
   constant of type-class `Foldable`
   type `'t -> Natural`
   type in context `DistinctListSet 'e -> Natural`
   executable
   statically resolved type-class instance xsvariable `xs`
   type `DistinctListSet 'e` ==constant `Prelude.Eq.(==)`
   constant of type-class `Eq`
   type `'a -> 'a -> Bool`
   type in context `Natural -> Natural -> Bool`
   executable
   statically resolved type-class instance sizeconstant `Prelude.Foldable.size`
   constant of type-class `Foldable`
   type `'t -> Natural`
   type in context `DistinctListSet 'e -> Natural`
   executable
   statically resolved type-class instance ysvariable `ys`
   type `DistinctListSet 'e`)

  define disjointconstant `Prelude.Collection.disjoint`
   constant of type-class instance `Eq 'e => CollectionWithSubsetTest (DistinctListSet 'e) 'e`
   type `DistinctListSet 'e -> DistinctListSet 'e -> Bool`
   executable (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l1variable `l1`
   type `['e]`) (DistinctListSetconstant `Data.Collection.DistinctListSet.DistinctListSet`
   constructor of datatype `DistinctListSet`
   type `['a] -> DistinctListSet 'a`
   type in context `['e] -> DistinctListSet 'e`
   executable l2variable `l2`
   type `['e]`) :=
    List.allconstant `Prelude.List.all`
   constant
   type `('a -> Bool) -> ['a] -> Bool`
   type in context `('e -> Bool) -> ['e] -> Bool`
   executable (fntype `'e -> Bool` xvariable `x`
   type `'e` -> notconstant `Prelude.Bool.not`
   constant
   type `Bool -> Bool`
   executable (List.elemconstant `Prelude.List.elem`
   constant
   type `Eq 'a => 'a -> ['a] -> Bool`
   type in context `'e -> ['e] -> Bool`
   executable xvariable `x`
   type `'e` l2variable `l2`
   type `['e]`)) l1variable `l1`
   type `['e]`
end-instance

instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => FiniteCollectiontype-class `Prelude.Collection.FiniteCollection`
   arguments: ('c :: *) ('e :: *)
   functional deps: 'c -> 'e
   super-class constraints:
     - Prelude.Collection.CollectionWithMembershipTest 'c 'e
     - Prelude.Foldable.Foldable 'c 'e
     - Prelude.Collection.CollectionWithEmptynessTest 'c 'e (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) 'etype-variable `'e`
   kind `*` where
end-instance

instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => SetLiketype-class `Prelude.Collection.SetLike`
   arguments: ('c :: *) ('e :: *)
   functional deps: 'c -> 'e
   super-class constraints:
     - Prelude.Collection.CollectionWithMembershipTest 'c 'e (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) 'etype-variable `'e`
   kind `*` where
end-instance

instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => Settype-class `Prelude.Collection.Set`
   arguments: ('c :: *) ('e :: *)
   functional deps: 'c -> 'e
   super-class constraints:
     - Prelude.Collection.SetLike 'c 'e
     - Prelude.Collection.CollectionWithDelete 'c 'e
     - Prelude.Collection.CollectionWithEmptynessTest 'c 'e (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) 'etype-variable `'e`
   kind `*` where
end-instance

instance Eqtype-class `Prelude.Eq.Eq`
   arguments: ('a :: *)
   super-class constraints:
     - Prelude.Eq.EqP 'a
   has default derive templates 'etype-variable `'e`
   kind `*` => FiniteSettype-class `Prelude.Collection.FiniteSet`
   arguments: ('c :: *) ('e :: *)
   functional deps: 'c -> 'e
   super-class constraints:
     - Prelude.Collection.Set 'c 'e
     - Prelude.Collection.FiniteCollection 'c 'e (DistinctListSetdatatype `Data.Collection.DistinctListSet.DistinctListSet`
   kind `* -> *`
   executable 'etype-variable `'e`
   kind `*`) 'etype-variable `'e`
   kind `*` where
end-instance

end-moduleend of module Data.Collection.DistinctListSet