intensional-datatys-0.2.0.0: A GHC Core plugin for intensional datatype refinement checking
Safe HaskellNone
LanguageHaskell2010

Intensional.Guard

Documentation

newtype Guard Source #

Constructors

Guard 

Fields

Instances

Instances details
Eq Guard Source # 
Instance details

Defined in Intensional.Guard

Methods

(==) :: Guard -> Guard -> Bool #

(/=) :: Guard -> Guard -> Bool #

Semigroup Guard Source # 
Instance details

Defined in Intensional.Guard

Methods

(<>) :: Guard -> Guard -> Guard #

sconcat :: NonEmpty Guard -> Guard #

stimes :: Integral b => b -> Guard -> Guard #

Monoid Guard Source # 
Instance details

Defined in Intensional.Guard

Methods

mempty :: Guard #

mappend :: Guard -> Guard -> Guard #

mconcat :: [Guard] -> Guard #

Binary Guard Source # 
Instance details

Defined in Intensional.Guard

Methods

put_ :: BinHandle -> Guard -> IO () #

put :: BinHandle -> Guard -> IO (Bin Guard) #

get :: BinHandle -> IO Guard #

Outputable Guard Source # 
Instance details

Defined in Intensional.Guard

Methods

ppr :: Guard -> SDoc #

pprPrec :: Rational -> Guard -> SDoc #

Refined Guard Source # 
Instance details

Defined in Intensional.Guard