liquidhaskell-0.5.0.1: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Strata

Documentation

class SubStratum a where Source

Minimal complete definition

subS

Methods

subS :: (Symbol, Stratum) -> a -> a Source

subsS :: [(Symbol, Stratum)] -> a -> a Source