Safe Haskell | Safe-Inferred |
---|
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 a => Sized (Arg a) | |
Sized a => Sized (Dom a) | |
Sized (Tele a) | |
Sized a => Sized (Abs a) | |
Sized (Map k a) | |
Sized a => Sized (Named name a) |