| Safe Haskell | None |
|---|
Util.HasSize
Documentation
Instances
| 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) |
Methods
sizeEQ :: Int -> a -> BoolSource
sizeGT :: Int -> a -> BoolSource
sizeLT :: Int -> a -> BoolSource
Instances
| 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) |