Language.Haskell.Liquid.Bare.Expand

Alias Expansion

class ExpandAliases a where

Minimal complete definition

expand

Methods

expand :: SourcePos -> a -> BareM a

Instances

ExpandAliases Expr

Methods

expand :: SourcePos -> Expr -> BareM Expr

ExpandAliases Reft

Methods

expand :: SourcePos -> Reft -> BareM Reft

ExpandAliases Body

Methods

expand :: SourcePos -> Body -> BareM Body

ExpandAliases SpecType

Methods

expand :: SourcePos -> SpecType -> BareM SpecType

ExpandAliases RReft

Methods

expand :: SourcePos -> RReft -> BareM RReft

ExpandAliases DataConP

Methods

expand :: SourcePos -> DataConP -> BareM DataConP

ExpandAliases a => ExpandAliases [a]

Methods

expand :: SourcePos -> [a] -> BareM [a]

ExpandAliases a => ExpandAliases (Maybe a)

Methods

expand :: SourcePos -> Maybe a -> BareM (Maybe a)

ExpandAliases a => ExpandAliases (Located a)

Methods

expand :: SourcePos -> Located a -> BareM (Located a)

ExpandAliases b => ExpandAliases (a, b)

Methods

expand :: SourcePos -> (a, b) -> BareM (a, b)

ExpandAliases ty => ExpandAliases (Measure ty ctor)

Methods

expand :: SourcePos -> Measure ty ctor -> BareM (Measure ty ctor)

ExpandAliases ty => ExpandAliases (Def ty ctor)

Methods

expand :: SourcePos -> Def ty ctor -> BareM (Def ty ctor)

expand' :: ExpandAliases a => a -> BareM a