IR.Pattern.Vector
data PatVec t Source #
Constructors
Fields
Defined in IR.Pattern.Vector
Methods
(==) :: PatVec t -> PatVec t -> Bool #
(/=) :: PatVec t -> PatVec t -> Bool #
showsPrec :: Int -> PatVec t -> ShowS #
show :: PatVec t -> String #
showList :: [PatVec t] -> ShowS #
fromList :: [Alt t] -> PatVec t Source #
singleton :: Alt t -> PatVec t Source #
extend :: PatVec t -> PatVec t -> PatVec t Source #
hd :: PatVec t -> Alt t Source #
tl :: PatVec t -> PatVec t Source #
specialize :: PatVec t -> PatVec t Source #
specializeWild :: Int -> PatVec t -> PatVec t Source #