Safe Haskell	None
Language	Haskell2010

IR.Pattern.Common

Documentation

Constructors

CInfo
Fields cName :: Identifier cType :: Identifier cArity :: Int

Instances details

Eq CInfo Source #
Instance details Defined in IR.Pattern.Common Methods (==) :: CInfo -> CInfo -> Bool # (/=) :: CInfo -> CInfo -> Bool #
Show CInfo Source #
Instance details Defined in IR.Pattern.Common Methods showsPrec :: Int -> CInfo -> ShowS # show :: CInfo -> String # showList :: [CInfo] -> ShowS #

Constructors

TInfo
Fields tName :: Identifier tCSet :: Set Identifier

Instances details

Eq TInfo Source #
Instance details Defined in IR.Pattern.Common Methods (==) :: TInfo -> TInfo -> Bool # (/=) :: TInfo -> TInfo -> Bool #
Show TInfo Source #
Instance details Defined in IR.Pattern.Common Methods showsPrec :: Int -> TInfo -> ShowS # show :: TInfo -> String # showList :: [TInfo] -> ShowS #