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