Safe Haskell | Safe-Inferred |
---|
Documentation
data EqReasoningConsts o Source
data EqReasoningState Source
RIEnv | |
| |
RIMainInfo Nat (HNExp o) Bool | |
forall a . RIUnifInfo [CAction o] (HNExp o) | |
RICopyInfo (ICExp o) | |
RIIotaStep Bool | |
RIInferredTypeUnknown | |
RINotConstructor | |
RIUsedVars [UId o] [Elr o] | |
RIPickSubsvar | |
RIEqRState EqReasoningState | |
RICheckElim Bool | |
RICheckProjIndex [ConstRef o] |
detecteliminand :: [Clause o] -> Maybe NatSource
categorizedecl :: ConstRef o -> IO ()Source
metaliseokh :: MExp o -> IO (MExp o)Source
weakarglist :: Nat -> ICArgList o -> ICArgList oSource