Safe Haskell | None |
---|
Documentation
IsEmpty IntSet | |
IsEmpty BitSet | |
IsEmpty Properties | |
IsEmpty Rules | |
IsEmpty [x] | |
IsEmpty (IntMap v) | |
IsEmpty (Set a) | |
IsEmpty (IntjectionSet a) | |
IsEmpty (EnumSet a) | |
IsEmpty (GSet Char) | |
IsEmpty (GSet Int) | |
IsEmpty (GSet Atom) | |
IsEmpty (GSet Var) | |
IsEmpty (EnumBitSet a) | |
(IsEmpty a, IsEmpty b) => IsEmpty (a, b) | |
IsEmpty (Map a b) | |
IsEmpty (IntjectionMap k v) | |
IsEmpty (EnumMap k v) | |
IsEmpty (GMap Char v) | |
IsEmpty (GMap Int v) | |
IsEmpty (GMap Atom v) | |
IsEmpty (GMap Var v) | |
(IsEmpty a, IsEmpty b, IsEmpty c) => IsEmpty (a, b, c) |
sizeEQ :: Int -> a -> BoolSource
sizeGT :: Int -> a -> BoolSource
sizeLT :: Int -> a -> BoolSource
HasSize IntSet | |
HasSize Info | |
HasSize BitSet | |
HasSize Properties | |
HasSize E | |
HasSize DataTable | |
HasSize Rules | |
HasSize FixityMap | |
HasSize KindEnv | |
HasSize TypeSynonyms | |
HasSize [x] | |
HasSize (IntMap v) | |
HasSize (Set a) | |
HasSize (IntjectionSet a) | |
HasSize (EnumSet a) | |
HasSize (GSet Char) | |
HasSize (GSet Int) | |
HasSize (GSet Atom) | |
HasSize (GSet Var) | |
HasSize (EnumBitSet a) | |
(HasSize a, HasSize b) => HasSize (Either a b) | |
(HasSize a, HasSize b) => HasSize (a, b) | |
HasSize (Map a b) | |
HasSize (IntjectionMap k v) | |
HasSize (EnumMap k v) | |
HasSize (GMap Char v) | |
HasSize (GMap Int v) | |
HasSize (GMap Atom v) | |
HasSize (GMap Var v) | |
(HasSize a, HasSize b, HasSize c) => HasSize (a, b, c) |