liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Bare.Expand

Contents

Alias Expansion

Synopsis

Alias Expansion

class ExpandAliases a where Source #

Minimal complete definition

Methods

expand :: a -> BareM a Source #

Instances

ExpandAliases Reft Source #
Methods expand :: Reft -> BareM Reft Source #
ExpandAliases Expr Source #
Methods expand :: Expr -> BareM Expr Source #
ExpandAliases Body Source #
Methods expand :: Body -> BareM Body Source #
ExpandAliases SpecType Source #
Methods expand :: SpecType -> BareM SpecType Source #
ExpandAliases RReft Source #
Methods expand :: RReft -> BareM RReft Source #
ExpandAliases DataConP Source #
Methods expand :: DataConP -> BareM DataConP Source #
ExpandAliases a => ExpandAliases [a] Source #
Methods expand :: [a] -> BareM [a] Source #
ExpandAliases a => ExpandAliases (Maybe a) Source #
Methods expand :: Maybe a -> BareM (Maybe a) Source #
ExpandAliases a => ExpandAliases (Located a) Source #
Methods expand :: Located a -> BareM (Located a) Source #
ExpandAliases b => ExpandAliases (a, b) Source #
Methods expand :: (a, b) -> BareM (a, b) Source #
ExpandAliases ty => ExpandAliases (Measure ty ctor) Source #
Methods expand :: Measure ty ctor -> BareM (Measure ty ctor) Source #
ExpandAliases ty => ExpandAliases (Def ty ctor) Source #
Methods expand :: Def ty ctor -> BareM (Def ty ctor) Source #