Safe Haskell | Safe-Infered |
---|
Documentation
popMapS :: MonadState s m => (s -> (t, [a])) -> ((t, [a]) -> s -> s) -> m (Maybe a)Source
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