sslang-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

IR.Pattern.Matrix

Documentation

data PatMat t Source #

Constructors

PatMat 

Fields

Instances

Instances details
Eq t => Eq (PatMat t) Source # 
Instance details

Defined in IR.Pattern.Matrix

Methods

(==) :: PatMat t -> PatMat t -> Bool #

(/=) :: PatMat t -> PatMat t -> Bool #

Show t => Show (PatMat t) Source # 
Instance details

Defined in IR.Pattern.Matrix

Methods

showsPrec :: Int -> PatMat t -> ShowS #

show :: PatMat t -> String #

showList :: [PatMat t] -> ShowS #

singleCol :: [Alt t] -> PatMat t Source #

singleRow :: [Alt t] -> PatMat t Source #

fromPatVec :: PatVec t -> PatMat t Source #

fromPatVecs :: [PatVec t] -> PatMat t Source #

emptyWithCols :: Int -> PatMat t Source #

hd :: PatMat t -> PatVec t Source #

extend :: PatMat t -> PatMat t -> PatMat t Source #

specializeLit :: Literal -> PatMat t -> PatMat t Source #

specializeCons :: Int -> Identifier -> PatMat t -> PatMat t Source #

defaultize :: PatMat t -> PatMat t Source #