Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
Sized Permutation | |
Sized ModuleName | |
Sized QName | |
Sized LevelAtom | |
Sized PlusLevel | |
Sized Level | |
Sized Type | |
Sized Term | |
Sized Substitution | |
Sized [a] | |
Sized a => Sized (Maybe a) | |
Sized (Set a) | |
Sized (Tele a) | |
Sized a => Sized (Abs a) | |
Sized a => Sized (Elim' a) | |
Sized (Map k a) | |
Sized a => Sized (Named name a) | |
Sized a => Sized (Dom c a) | |
Sized a => Sized (Arg c a) |