module Fold.Shortcut.Type
(
ShortcutFold (..),
Will (..), Vitality (..), Vitality',
)
where
import Control.Applicative (Applicative, liftA2, pure, (<*>))
import Data.Functor (Functor, fmap)
import Data.Monoid (Monoid, mempty)
import Data.Semigroup (Semigroup, (<>))
import Strict (Will (..), Vitality (..), Vitality')
import Data.Void (absurd)
import qualified Strict
data ShortcutFold a b = forall x y. ShortcutFold
{ ()
initial :: Vitality x y
, ()
step :: y -> a -> Vitality x y
, :: Vitality x y -> b
}
instance Functor (ShortcutFold a) where
fmap :: forall a b. (a -> b) -> ShortcutFold a a -> ShortcutFold a b
fmap a -> b
f ShortcutFold{ y -> a -> Vitality x y
step :: y -> a -> Vitality x y
step :: ()
step, Vitality x y
initial :: Vitality x y
initial :: ()
initial, Vitality x y -> a
extract :: Vitality x y -> a
extract :: ()
extract } =
ShortcutFold{ Vitality x y
initial :: Vitality x y
initial :: Vitality x y
initial, y -> a -> Vitality x y
step :: y -> a -> Vitality x y
step :: y -> a -> Vitality x y
step, extract :: Vitality x y -> b
extract = \Vitality x y
x -> a -> b
f (Vitality x y -> a
extract Vitality x y
x) }
instance Applicative (ShortcutFold a) where
pure :: forall a. a -> ShortcutFold a a
pure a
b = ShortcutFold
{ initial :: Vitality () Void
initial = forall a b. a -> Vitality a b
Dead ()
, step :: Void -> a -> Vitality () Void
step = forall a. Void -> a
absurd
, extract :: Vitality () Void -> a
extract = \Vitality () Void
e -> case Vitality () Void
e of { Dead () -> a
b }
}
<*> :: forall a b.
ShortcutFold a (a -> b) -> ShortcutFold a a -> ShortcutFold a b
(<*>)
ShortcutFold{ initial :: ()
initial = Vitality x y
initialL, step :: ()
step = y -> a -> Vitality x y
stepL, extract :: ()
extract = Vitality x y -> a -> b
extractL }
ShortcutFold{ initial :: ()
initial = Vitality x y
initialR, step :: ()
step = y -> a -> Vitality x y
stepR, extract :: ()
extract = Vitality x y -> a
extractR } =
ShortcutFold
{ initial :: Vitality
(Tuple2 (Vitality x y) (Vitality x y))
(Tuple2 (Vitality x y) (Vitality x y))
initial = forall a1 b1 a2 b2.
Vitality a1 b1
-> Vitality a2 b2
-> Vitality' (Tuple2 (Vitality a1 b1) (Vitality a2 b2))
Strict.vitality2 Vitality x y
initialL Vitality x y
initialR
, step :: Tuple2 (Vitality x y) (Vitality x y)
-> a
-> Vitality
(Tuple2 (Vitality x y) (Vitality x y))
(Tuple2 (Vitality x y) (Vitality x y))
step = \(Strict.Tuple2 Vitality x y
xL Vitality x y
xR) a
a -> forall a1 b1 a2 b2.
Vitality a1 b1
-> Vitality a2 b2
-> Vitality' (Tuple2 (Vitality a1 b1) (Vitality a2 b2))
Strict.vitality2
(forall b a. (b -> Vitality a b) -> Vitality a b -> Vitality a b
Strict.unlessDead (\y
x -> y -> a -> Vitality x y
stepL y
x a
a) Vitality x y
xL)
(forall b a. (b -> Vitality a b) -> Vitality a b -> Vitality a b
Strict.unlessDead (\y
x -> y -> a -> Vitality x y
stepR y
x a
a) Vitality x y
xR)
, extract :: Vitality
(Tuple2 (Vitality x y) (Vitality x y))
(Tuple2 (Vitality x y) (Vitality x y))
-> b
extract = \Vitality
(Tuple2 (Vitality x y) (Vitality x y))
(Tuple2 (Vitality x y) (Vitality x y))
e -> case Vitality
(Tuple2 (Vitality x y) (Vitality x y))
(Tuple2 (Vitality x y) (Vitality x y))
e of { Dead Tuple2 (Vitality x y) (Vitality x y)
x -> Tuple2 (Vitality x y) (Vitality x y) -> b
ex Tuple2 (Vitality x y) (Vitality x y)
x; Alive Will
_ Tuple2 (Vitality x y) (Vitality x y)
x -> Tuple2 (Vitality x y) (Vitality x y) -> b
ex Tuple2 (Vitality x y) (Vitality x y)
x }
}
where
ex :: Tuple2 (Vitality x y) (Vitality x y) -> b
ex (Strict.Tuple2 Vitality x y
xL Vitality x y
xR) = (Vitality x y -> a -> b
extractL Vitality x y
xL) (Vitality x y -> a
extractR Vitality x y
xR)
instance Semigroup b => Semigroup (ShortcutFold a b) where
<> :: ShortcutFold a b -> ShortcutFold a b -> ShortcutFold a b
(<>) = forall (f :: * -> *) a b c.
Applicative f =>
(a -> b -> c) -> f a -> f b -> f c
liftA2 forall a. Semigroup a => a -> a -> a
(<>)
instance Monoid b => Monoid (ShortcutFold a b) where
mempty :: ShortcutFold a b
mempty = forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Monoid a => a
mempty