Safe Haskell | Safe-Inferred |
---|
Documentation
abspatvarname :: [Char]Source
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 oSource
betareduce :: MExp o -> MArgList o -> MExp oSource
removevar :: CSCtx o -> MExp o -> [CSPat o] -> [(Nat, MExp o)] -> (CSCtx o, MExp o, [CSPat o])Source
depthofvar :: Nat -> [CSPat o] -> NatSource