Intensional.Constructors

Documentation

data Side

Constructors

L

R

data K (s :: Side) where

Constructors

Dom :: DataType Name -> K s

Con :: Name -> SrcSpan -> K 'L

Set :: UniqSet Name -> SrcSpan -> K 'R

Instances

Eq (K s)

Defined in Intensional.Constructors

Methods

(==) :: K s -> K s -> Bool

(/=) :: K s -> K s -> Bool

Hashable (K s)

Defined in Intensional.Constructors

Methods

hashWithSalt :: Int -> K s -> Int

hash :: K s -> Int

Binary (K 'L)

Defined in Intensional.Constructors

Methods

put_ :: BinHandle -> K 'L -> IO ()

put :: BinHandle -> K 'L -> IO (Bin (K 'L))

get :: BinHandle -> IO (K 'L)

Binary (K 'R)

Defined in Intensional.Constructors

Methods

put_ :: BinHandle -> K 'R -> IO ()

put :: BinHandle -> K 'R -> IO (Bin (K 'R))

get :: BinHandle -> IO (K 'R)

Outputable (K s)

Defined in Intensional.Constructors

Methods

ppr :: K s -> SDoc

pprPrec :: Rational -> K s -> SDoc

Refined (K l)

Defined in Intensional.Constructors

Methods

domain :: K l -> Domain

rename :: RVar -> RVar -> K l -> K l

prpr :: (RVar -> SDoc) -> K l -> SDoc

type ConL = K 'L

type ConR = K 'R

toAtomic :: K l -> K r -> [(K 'L, K 'R)]

getLocation :: K a -> SrcSpan

Assuming k is either a Con or Set atom, getLocation k is the associated span.

Orphan instances

Hashable Unique

Methods

hashWithSalt :: Int -> Unique -> Int

hash :: Unique -> Int

Hashable Name

Methods

hashWithSalt :: Int -> Name -> Int

hash :: Name -> Int