Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
class SubStratum a where Source
SubStratum Stratum Source | |
SubStratum SpecType Source | |
SubStratum SubC Source | |
SubStratum a => SubStratum [a] Source | |
SubStratum (Annot SpecType) Source | |
(SubStratum a, SubStratum b) => SubStratum (a, b) Source |