Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 #
modifyAbstractClause :: Clause -> Clause Source #
constructPats :: Map QName (TMode, ConstRef O) -> MetaId -> Clause -> TCM ([(FMode, MId)], [CSPat O]) Source #
findClauseDeep :: InteractionId -> TCM (Maybe (QName, Clause, Bool)) Source #