Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
caseSplitSearch :: forall o. IORef Int -> Int -> [ConstRef o] -> Maybe (EqReasoningConsts o) -> Int -> Int -> ConstRef o -> CSCtx o -> MExp o -> [CSPat o] -> IO [Sol o] Source
caseSplitSearch' :: forall o. (Int -> CSCtx o -> MExp o -> ([Nat], Nat, [Nat]) -> IO (Maybe (MExp o))) -> Int -> Int -> ConstRef o -> CSCtx o -> MExp o -> [CSPat o] -> IO [Sol o] Source
infertypevar :: CSCtx o -> Nat -> MExp o Source
betareduce :: MExp o -> MArgList o -> MExp o Source
removevar :: CSCtx o -> MExp o -> [CSPat o] -> [(Nat, MExp o)] -> (CSCtx o, MExp o, [CSPat o]) Source
depthofvar :: Nat -> [CSPat o] -> Nat Source