Documentation

type C_Traversable t0 t1 = t0 -> T2 (List t1) (Prim (List t1 -> State -> t0))Source

type C_FunList t0 = List t0 -> List t0Source

c_noChildren :: (Curry t0, Curry t1) => t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))Source

c_children :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> State -> Prim (t0 -> State -> List t1)Source

c_replaceChildren :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> State -> Prim (t0 -> State -> Prim (List t1 -> State -> t0))Source

c_mapChildren :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> Prim (t1 -> State -> t1) -> t0 -> State -> t0Source

c_family :: Curry t0 => Prim (t0 -> State -> T2 (List t0) (Prim (List t0 -> State -> t0))) -> t0 -> State -> List t0Source

c_childFamilies :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> Prim (t1 -> State -> T2 (List t1) (Prim (List t1 -> State -> t1))) -> t0 -> State -> List t1Source

c_mapFamily :: Curry t0 => Prim (t0 -> State -> T2 (List t0) (Prim (List t0 -> State -> t0))) -> Prim (t0 -> State -> t0) -> State -> Prim (t0 -> State -> t0)Source

c_mapChildFamilies :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> Prim (t1 -> State -> T2 (List t1) (Prim (List t1 -> State -> t1))) -> State -> Prim (Prim (t1 -> State -> t1) -> State -> Prim (t0 -> State -> t0))Source

c_evalFamily :: Curry t0 => Prim (t0 -> State -> T2 (List t0) (Prim (List t0 -> State -> t0))) -> Prim (t0 -> State -> C_Maybe t0) -> State -> Prim (t0 -> State -> t0)Source

c_evalFamily'46g'4619 :: Curry t100 => Prim (t100 -> State -> C_Maybe t100) -> Prim (t100 -> State -> T2 (List t100) (Prim (List t100 -> State -> t100))) -> t100 -> State -> t100Source

c_evalChildFamilies :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> Prim (t1 -> State -> T2 (List t1) (Prim (List t1 -> State -> t1))) -> State -> Prim (Prim (t1 -> State -> C_Maybe t1) -> State -> Prim (t0 -> State -> t0))Source

c_fold :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t0) (Prim (List t0 -> State -> t0))) -> Prim (t0 -> State -> Prim (List t1 -> State -> t1)) -> State -> Prim (t0 -> State -> t1)Source

c_foldChildren :: (Curry t0, Curry t1, Curry t2, Curry t3) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> Prim (t1 -> State -> T2 (List t1) (Prim (List t1 -> State -> t1))) -> Prim (t0 -> State -> Prim (List t2 -> State -> t3)) -> Prim (t1 -> State -> Prim (List t2 -> State -> t2)) -> t0 -> State -> t3Source

c_replaceChildrenIO :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> State -> Prim (t0 -> State -> Prim (C_IO (List t1) -> State -> C_IO t0))Source

c_mapChildrenIO :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> Prim (t1 -> State -> C_IO t1) -> t0 -> State -> C_IO t0Source

c_mapFamilyIO :: Curry t0 => Prim (t0 -> State -> T2 (List t0) (Prim (List t0 -> State -> t0))) -> Prim (t0 -> State -> C_IO t0) -> t0 -> State -> C_IO t0Source

c_mapChildFamiliesIO :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> Prim (t1 -> State -> T2 (List t1) (Prim (List t1 -> State -> t1))) -> State -> Prim (Prim (t1 -> State -> C_IO t1) -> State -> Prim (t0 -> State -> C_IO t0))Source

c_evalFamilyIO :: Curry t0 => Prim (t0 -> State -> T2 (List t0) (Prim (List t0 -> State -> t0))) -> Prim (t0 -> State -> C_IO (C_Maybe t0)) -> State -> Prim (t0 -> State -> C_IO t0)Source

c_evalFamilyIO'46g'4637 :: Curry t202 => Prim (t202 -> State -> C_IO (C_Maybe t202)) -> Prim (t202 -> State -> T2 (List t202) (Prim (List t202 -> State -> t202))) -> t202 -> State -> C_IO t202Source

c_evalChildFamiliesIO :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> Prim (t1 -> State -> T2 (List t1) (Prim (List t1 -> State -> t1))) -> State -> Prim (Prim (t1 -> State -> C_IO (C_Maybe t1)) -> State -> Prim (t0 -> State -> C_IO t0))Source

c_concatFL :: Curry t0 => List (Prim (List t0 -> State -> List t0)) -> List t0 -> State -> List t0Source

c_familyFL :: Curry t0 => Prim (t0 -> State -> T2 (List t0) (Prim (List t0 -> State -> t0))) -> t0 -> List t0 -> State -> List t0Source

c_childFamiliesFL :: (Curry t0, Curry t1) => Prim (t0 -> State -> T2 (List t1) (Prim (List t1 -> State -> t0))) -> Prim (t1 -> State -> T2 (List t1) (Prim (List t1 -> State -> t1))) -> t0 -> List t1 -> State -> List t1Source

c_liftIO :: (Curry t0, Curry t1) => Prim (t0 -> State -> t1) -> C_IO t0 -> State -> C_IO t1Source