Module

SSRS

Package: purescript-ssrs
Repository: PureFunctor/purescript-ssrs

Re-exports from SSRS.Algebra

#GAlgebraM Source

type GAlgebraM :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Type -> Typetype GAlgebraM w m f a = f (w a) -> m a

#GAlgebra Source

type GAlgebra :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype GAlgebra w f a = f (w a) -> a

#AlgebraM Source

type AlgebraM :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype AlgebraM m f a = f a -> m a

#Algebra Source

type Algebra :: (Type -> Type) -> Type -> Typetype Algebra f a = f a -> a

Re-exports from SSRS.Coalgebra

#GCoalgebraM Source

type GCoalgebraM :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Type -> Typetype GCoalgebraM n m f a = a -> m (f (n a))

#GCoalgebra Source

type GCoalgebra :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype GCoalgebra n f a = a -> f (n a)

#CoalgebraM Source

type CoalgebraM :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype CoalgebraM m f a = a -> m (f a)

#Coalgebra Source

type Coalgebra :: (Type -> Type) -> Type -> Typetype Coalgebra f a = a -> f a

Re-exports from SSRS.Fold

#zygoM Source

zygoM :: forall m p q v w. MonadRec m => Dissect p q => AlgebraM m p w -> GAlgebraM (Tuple w) m p v -> Mu p -> m v

#zygo Source

zygo :: forall p q v w. Dissect p q => Algebra p w -> GAlgebra (Tuple w) p v -> Mu p -> v

#transCataTM Source

transCataTM :: forall m p q. MonadRec m => Dissect p q => (Mu p -> m (Mu p)) -> Mu p -> m (Mu p)

#transCataT Source

transCataT :: forall p q. Dissect p q => (Mu p -> Mu p) -> Mu p -> Mu p

#transCataM Source

transCataM :: forall m p p' q q'. MonadRec m => Coercible (m (q (Mu q))) (m (Mu q)) => Dissect p p' => Dissect q q' => TransformM m (Mu q) p q -> Mu p -> m (Mu q)

#transCata Source

transCata :: forall p p' q q'. Dissect p p' => Dissect q q' => Transform (Mu q) p q -> Mu p -> Mu q

#prepro Source

prepro :: forall p q v. Dissect p q => (p ~> p) -> Algebra p v -> Mu p -> v

#paraM Source

paraM :: forall m p q v. MonadRec m => Dissect p q => GAlgebraM (Tuple (Mu p)) m p v -> Mu p -> m v

#para Source

para :: forall p q v. Dissect p q => GAlgebra (Tuple (Mu p)) p v -> Mu p -> v

#mutuM Source

mutuM :: forall m p q v w. MonadRec m => Dissect p q => GAlgebraM (Tuple v) m p w -> GAlgebraM (Tuple w) m p v -> Mu p -> m v

#mutu Source

mutu :: forall p q v w. Dissect p q => GAlgebra (Tuple v) p w -> GAlgebra (Tuple w) p v -> Mu p -> v

#histoM Source

histoM :: forall m p q v. MonadRec m => Dissect p q => GAlgebraM (Cofree p) m p v -> Mu p -> m v

#histo Source

histo :: forall p q v. Dissect p q => GAlgebra (Cofree p) p v -> Mu p -> v

#cataM Source

cataM :: forall m p q v. MonadRec m => Dissect p q => AlgebraM m p v -> Mu p -> m v

#cata Source

cata :: forall p q v. Dissect p q => Algebra p v -> Mu p -> v

Re-exports from SSRS.Refold

#transHyloM Source

transHyloM :: forall m p p' q q' r r'. MonadRec m => Coercible (m (q (Mu q))) (m (Mu q)) => Dissect p p' => Dissect q q' => Dissect r r' => TransformM m (Mu q) r q -> TransformM m (Mu p) p r -> Mu p -> m (Mu q)

#transHylo Source

transHylo :: forall p p' q q' r r'. Dissect p p' => Dissect q q' => Dissect r r' => Transform (Mu q) r q -> Transform (Mu p) p r -> Mu p -> Mu q

#hyloM Source

hyloM :: forall m p q v w. MonadRec m => Dissect p q => AlgebraM m p v -> CoalgebraM m p w -> w -> m v

#hylo Source

hylo :: forall p q v w. Dissect p q => Algebra p v -> Coalgebra p w -> w -> v

#dynaM Source

dynaM :: forall m p q v w. MonadRec m => Dissect p q => GAlgebraM (Cofree p) m p w -> CoalgebraM m p v -> v -> m w

#dyna Source

dyna :: forall p q v w. Dissect p q => GAlgebra (Cofree p) p w -> Coalgebra p v -> v -> w

#codynaM Source

codynaM :: forall m p q v w. MonadRec m => Dissect p q => AlgebraM m p w -> GCoalgebraM (Free p) m p v -> v -> m w

#codyna Source

codyna :: forall p q v w. Dissect p q => Algebra p w -> GCoalgebra (Free p) p v -> v -> w

#chronoM Source

chronoM :: forall m p q v w. MonadRec m => Dissect p q => GAlgebraM (Cofree p) m p w -> GCoalgebraM (Free p) m p v -> v -> m w

#chrono Source

chrono :: forall p q v w. Dissect p q => GAlgebra (Cofree p) p w -> GCoalgebra (Free p) p v -> v -> w

Re-exports from SSRS.Transform

#TransformM Source

type TransformM :: (Type -> Type) -> Type -> (Type -> Type) -> (Type -> Type) -> Typetype TransformM m t f g = f t -> m (g t)

#Transform Source

type Transform :: Type -> (Type -> Type) -> (Type -> Type) -> Typetype Transform t f g = f t -> g t

Re-exports from SSRS.Unfold

#transAnaTM Source

transAnaTM :: forall m p q. MonadRec m => Coercible (m (Mu p)) (m (p (Mu p))) => Dissect p q => (Mu p -> m (Mu p)) -> Mu p -> m (Mu p)

#transAnaT Source

transAnaT :: forall p q. Dissect p q => (Mu p -> Mu p) -> Mu p -> Mu p

#transAnaM Source

transAnaM :: forall m p p' q q'. MonadRec m => Dissect p p' => Dissect q q' => TransformM m (Mu p) p q -> Mu p -> m (Mu q)

#transAna Source

transAna :: forall p p' q q'. Dissect p p' => Dissect q q' => Transform (Mu p) p q -> Mu p -> Mu q

#postpro Source

postpro :: forall p q v. Dissect p q => (p ~> p) -> Coalgebra p v -> v -> Mu p

#futuM Source

futuM :: forall m p q v. MonadRec m => Dissect p q => GCoalgebraM (Free p) m p v -> v -> m (Mu p)

#futu Source

futu :: forall p q v. Dissect p q => GCoalgebra (Free p) p v -> v -> Mu p

#apoM Source

apoM :: forall m p q v. MonadRec m => Dissect p q => GCoalgebraM (Either (Mu p)) m p v -> v -> m (Mu p)

#apo Source

apo :: forall p q v. Dissect p q => GCoalgebra (Either (Mu p)) p v -> v -> Mu p

#anaM Source

anaM :: forall m p q v. MonadRec m => Dissect p q => CoalgebraM m p v -> v -> m (Mu p)

#ana Source

ana :: forall p q v. Dissect p q => Coalgebra p v -> v -> Mu p

Modules: SSRS; SSRS.Algebra; SSRS.Coalgebra; SSRS.Fold; SSRS.Refold; SSRS.Transform; SSRS.Unfold