Safe Haskell | None |
---|---|
Language | Haskell98 |
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 -> Bool Source
cnvh :: LensHiding a => a -> FMode Source
modifyAbstractExpr :: Expr -> Expr Source
constructPats :: Map QName (TMode, ConstRef O) -> MetaId -> Clause -> TCM ([(FMode, MId)], [CSPat O]) Source
contains_constructor :: [CSPat O] -> Bool Source