| Copyright | (c) Edward Kmett and Dan Doel 2014 |
|---|---|
| License | BSD3 |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Ermine.Syntax.Sort
Description
Documentation
calling sortentions for applications and lambdas
Constructors
| Sorted a a a |
Instances
| Monad Sorted | |
| Functor Sorted | |
| MonadFix Sorted | |
| Applicative Sorted | |
| Foldable Sorted | |
| Traversable Sorted | |
| MonadZip Sorted | |
| Hashable1 Sorted | |
| Serial1 Sorted | |
| Distributive Sorted | |
| Representable Sorted | |
| TraversableWithIndex Sort Sorted | |
| FunctorWithIndex Sort Sorted | |
| FoldableWithIndex Sort Sorted | |
| MonadReader Sort Sorted | |
| Eq a => Eq (Sorted a) | |
| Data a => Data (Sorted a) | |
| Num a => Num (Sorted a) | |
| Ord a => Ord (Sorted a) | |
| Read a => Read (Sorted a) | |
| Show a => Show (Sorted a) | |
| Generic (Sorted a) | |
| Monoid a => Monoid (Sorted a) | |
| Binary a => Binary (Sorted a) | |
| Semigroup a => Semigroup (Sorted a) | |
| Hashable a => Hashable (Sorted a) | |
| Serialize a => Serialize (Sorted a) | |
| Serial a => Serial (Sorted a) | |
| Ixed (Sorted a) | |
| Default a => Default (Sorted a) | |
| Typeable (* -> *) Sorted | |
| type Rep Sorted = Sort | |
| type Rep (Sorted a) | |
| type IxValue (Sorted a) = a | |
| type Index (Sorted a) = Sort |