Documentation

closify :: a -> Clos a oSource

sub :: CExp o -> Clos a o -> Clos a oSource

msubs :: [CExp o] -> a -> Clos a oSource

weak :: Nat -> Clos a o -> Clos a oSource

tcExp :: Bool -> Ctx o -> CExp o -> MExp o -> EE (MyPB o)Source

tcargs :: Bool -> Ctx o -> CExp o -> CExp o -> MArgList o -> EE (MyPB o)Source

hnn :: CExp o -> EE (MyMB (HNExp o) o)Source

hnn' :: CExp o -> CArgList o -> EE (MyMB (HNExp o) o)Source

hn' :: CExp o -> CArgList o -> EE (MyMB (HNExp o) o)Source

data HNRes o Source

hnc :: Bool -> CExp o -> CArgList o -> EE (MyMB (HNRes o) o)Source

doclos :: [CAction o] -> Nat -> Either Nat (CExp o)Source

hnarglist :: CArgList o -> EE (MyMB (HNArgList o) o)Source

getNArgs :: Nat -> CArgList o -> EE (MyMB (Maybe ([CExp o], CArgList o)) o)Source

getAllArgs :: CArgList o -> EE (MyMB [PEval o] o)Source

iotastep :: HNExp o -> EE (MyMB (Maybe (CExp o, CArgList o)) o)Source

data PEval o Source

dorules :: [Clause o] -> [PEval o] -> EE (MyMB (Maybe (CExp o)) o)Source

dorule :: Clause o -> [PEval o] -> EE (MyMB (Either (Maybe [PEval o]) (CExp o)) o)Source

dopats :: [Pat o] -> [PEval o] -> EE (MyMB (Either (Maybe [PEval o]) ([PEval o], [CExp o])) o)Source

dopat :: Pat o -> PEval o -> EE (MyMB (Either (Maybe (PEval o)) (PEval o, [CExp o])) o)Source

noiotastep :: HNExp o -> EE (MyPB o)Source

noiotastep' :: ConstRef o -> MArgList o -> EE (MyPB o)Source

comp' :: CExp o -> CExp o -> EE (MyPB o)Source

comp :: Bool -> CExp o -> CExp o -> EE (MyPB o)Source

comphn' :: Bool -> HNExp o -> HNExp o -> EE (MyPB o)Source

compargs :: CArgList o -> CArgList o -> EE (MyPB o)Source

pickid :: MId -> MId -> MIdSource

tcSearch :: Ctx o -> CExp o -> MExp o -> EE (MyPB o)Source

ptcTypeUnknown :: Bool -> Ctx o -> CExp o -> MExp o -> EE StringSource

ptcTypeCheck :: Bool -> Ctx o -> HNExp o -> MExp o -> EE StringSource

ptcTypecheckArgList :: String -> Bool -> Ctx o -> CExp o -> CExp o -> MArgList o -> EE StringSource

ptcNoIotaStep :: HNExp o -> EE StringSource

ptcCompare :: String -> Bool -> CExp o -> CExp o -> EE StringSource

ptcCompareArgList :: String -> CArgList o -> CArgList o -> EE StringSource

phnexp :: Bool -> Int -> [MId] -> HNExp o -> IO StringSource

phnargs :: Bool -> [MId] -> HNArgList o -> IO StringSource

pcexp :: Bool -> Int -> [MId] -> CExp o -> IO StringSource

pcargs :: Bool -> [MId] -> CArgList o -> IO StringSource

printCtx :: Bool -> Ctx o -> IO StringSource