Safe Haskell | None |
---|
Documentation
tomy :: MetaId -> [(Bool, QName)] -> [Type] -> TCM ([ConstRef O], [MExp O], Map MetaId (Metavar (Exp O) (RefInfo O), MExp O, [MExp O], [MetaId]), [(Bool, MExp O, MExp O)], Map QName (TMode, ConstRef O))Source
tomyIneq :: Comparison -> BoolSource
abslamvarname :: [Char]Source
modifyAbstractExpr :: Expr -> ExprSource
constructPats :: Map QName (TMode, ConstRef O) -> MetaId -> Clause -> TCM ([(FMode, MId)], [CSPat O])Source
contains_constructor :: [CSPat O] -> BoolSource