module Pandora.Paradigm.Primary.Functor.Conclusion where

import Pandora.Core.Functor (type (~>))
import Pandora.Pattern.Category (identity, (.), ($))
import Pandora.Pattern.Functor.Covariant (Covariant ((<$>), (<$$>)))
import Pandora.Pattern.Functor.Pointable (Pointable (point))
import Pandora.Pattern.Functor.Alternative (Alternative ((<+>)))
import Pandora.Pattern.Functor.Applicative (Applicative ((<*>)))
import Pandora.Pattern.Functor.Traversable (Traversable ((->>)))
import Pandora.Pattern.Functor.Bindable (Bindable ((>>=)))
import Pandora.Pattern.Functor.Monad (Monad)
import Pandora.Pattern.Functor.Bivariant (Bivariant ((<->)))
import Pandora.Pattern.Object.Setoid (Setoid ((==)))
import Pandora.Pattern.Object.Chain (Chain ((<=>)))
import Pandora.Pattern.Object.Semigroup (Semigroup ((+)))
import Pandora.Paradigm.Primary.Object.Boolean (Boolean (False))
import Pandora.Paradigm.Primary.Object.Ordering (Ordering (Less, Greater))
import Pandora.Paradigm.Controlflow.Effect.Interpreted (Schematic, Interpreted (Primary, run))
import Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic (Monadic (wrap), (:>) (TM))
import Pandora.Paradigm.Controlflow.Effect.Adaptable (Adaptable (adapt))
import Pandora.Paradigm.Schemes.UT (UT (UT), type (<.:>))

data Conclusion e a = Failure e | Success a

instance Covariant (Conclusion e) where
	a -> b
f <$> :: (a -> b) -> Conclusion e a -> Conclusion e b
<$> Success a
x = b -> Conclusion e b
forall e a. a -> Conclusion e a
Success (b -> Conclusion e b) -> b -> Conclusion e b
forall (m :: * -> * -> *) a b. Category m => m a b -> m a b
$ a -> b
f a
x
	a -> b
_ <$> Failure e
y = e -> Conclusion e b
forall e a. e -> Conclusion e a
Failure e
y

instance Pointable (Conclusion e) where
	point :: a |-> Conclusion e
point = a |-> Conclusion e
forall e a. a -> Conclusion e a
Success

instance Applicative (Conclusion e) where
	Success a -> b
f <*> :: Conclusion e (a -> b) -> Conclusion e a -> Conclusion e b
<*> Conclusion e a
x = a -> b
f (a -> b) -> Conclusion e a -> Conclusion e b
forall (t :: * -> *) a b. Covariant t => (a -> b) -> t a -> t b
<$> Conclusion e a
x
	Failure e
y <*> Conclusion e a
_ = e -> Conclusion e b
forall e a. e -> Conclusion e a
Failure e
y

instance Alternative (Conclusion e) where
	Failure e
_ <+> :: Conclusion e a -> Conclusion e a -> Conclusion e a
<+> Conclusion e a
x = Conclusion e a
x
	Success a
x <+> Conclusion e a
_ = a -> Conclusion e a
forall e a. a -> Conclusion e a
Success a
x

instance Traversable (Conclusion e) where
	Failure e
y ->> :: Conclusion e a -> (a -> u b) -> (u :. Conclusion e) := b
->> a -> u b
_ = Conclusion e b |-> u
forall (t :: * -> *) a. Pointable t => a |-> t
point (Conclusion e b |-> u) -> Conclusion e b |-> u
forall (m :: * -> * -> *) a b. Category m => m a b -> m a b
$ e -> Conclusion e b
forall e a. e -> Conclusion e a
Failure e
y
	Success a
x ->> a -> u b
f = b -> Conclusion e b
forall e a. a -> Conclusion e a
Success (b -> Conclusion e b) -> u b -> (u :. Conclusion e) := b
forall (t :: * -> *) a b. Covariant t => (a -> b) -> t a -> t b
<$> a -> u b
f a
x

instance Bindable (Conclusion e) where
	Success a
x >>= :: Conclusion e a -> (a -> Conclusion e b) -> Conclusion e b
>>= a -> Conclusion e b
f = a -> Conclusion e b
f a
x
	Failure e
y >>= a -> Conclusion e b
_ = e -> Conclusion e b
forall e a. e -> Conclusion e a
Failure e
y

instance Monad (Conclusion e) where

instance Bivariant Conclusion where
	a -> b
f <-> :: (a -> b) -> (c -> d) -> Conclusion a c -> Conclusion b d
<-> c -> d
g = (a -> Conclusion b d)
-> (c -> Conclusion b d) -> Conclusion a c -> Conclusion b d
forall e r a. (e -> r) -> (a -> r) -> Conclusion e a -> r
conclusion (b -> Conclusion b d
forall e a. e -> Conclusion e a
Failure (b -> Conclusion b d) -> (a -> b) -> a -> Conclusion b d
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. a -> b
f) (d -> Conclusion b d
forall e a. a -> Conclusion e a
Success (d -> Conclusion b d) -> (c -> d) -> c -> Conclusion b d
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. c -> d
g)

instance (Setoid e, Setoid a) => Setoid (Conclusion e a) where
	Success a
x == :: Conclusion e a -> Conclusion e a -> Boolean
== Success a
y = a
x a -> a -> Boolean
forall a. Setoid a => a -> a -> Boolean
== a
y
	Failure e
x == Failure e
y = e
x e -> e -> Boolean
forall a. Setoid a => a -> a -> Boolean
== e
y
	Conclusion e a
_ == Conclusion e a
_ = Boolean
False

instance (Chain e, Chain a) => Chain (Conclusion e a) where
	Success a
x <=> :: Conclusion e a -> Conclusion e a -> Ordering
<=> Success a
y = a
x a -> a -> Ordering
forall a. Chain a => a -> a -> Ordering
<=> a
y
	Failure e
x <=> Failure e
y = e
x e -> e -> Ordering
forall a. Chain a => a -> a -> Ordering
<=> e
y
	Failure e
_ <=> Success a
_ = Ordering
Less
	Success a
_ <=> Failure e
_ = Ordering
Greater

instance (Semigroup e, Semigroup a) => Semigroup (Conclusion e a) where
	Success a
x + :: Conclusion e a -> Conclusion e a -> Conclusion e a
+ Success a
y = a -> Conclusion e a
forall e a. a -> Conclusion e a
Success (a -> Conclusion e a) -> a -> Conclusion e a
forall (m :: * -> * -> *) a b. Category m => m a b -> m a b
$ a
x a -> a -> a
forall a. Semigroup a => a -> a -> a
+ a
y
	Failure e
x + Failure e
y = e -> Conclusion e a
forall e a. e -> Conclusion e a
Failure (e -> Conclusion e a) -> e -> Conclusion e a
forall (m :: * -> * -> *) a b. Category m => m a b -> m a b
$ e
x e -> e -> e
forall a. Semigroup a => a -> a -> a
+ e
y
	Failure e
_ + Success a
y = a -> Conclusion e a
forall e a. a -> Conclusion e a
Success a
y
	Success a
x + Failure e
_ = a -> Conclusion e a
forall e a. a -> Conclusion e a
Success a
x

conclusion :: (e -> r) -> (a -> r) -> Conclusion e a -> r
conclusion :: (e -> r) -> (a -> r) -> Conclusion e a -> r
conclusion e -> r
f a -> r
_ (Failure e
x) = e -> r
f e
x
conclusion e -> r
_ a -> r
s (Success a
x) = a -> r
s a
x

fail :: (e -> r) -> Conclusion e ~> Conclusion r
fail :: (e -> r) -> Conclusion e ~> Conclusion r
fail e -> r
f (Failure e
x) = r -> Conclusion r a
forall e a. e -> Conclusion e a
Failure (r -> Conclusion r a) -> r -> Conclusion r a
forall (m :: * -> * -> *) a b. Category m => m a b -> m a b
$ e -> r
f e
x
fail e -> r
_ (Success a
y) = a -> Conclusion r a
forall e a. a -> Conclusion e a
Success a
y

instance Interpreted (Conclusion e) where
	type Primary (Conclusion e) a = Conclusion e a
	run :: Conclusion e a -> Primary (Conclusion e) a
run = Conclusion e a -> Primary (Conclusion e) a
forall (m :: * -> * -> *) a. Category m => m a a
identity

type instance Schematic Monad (Conclusion e) = (<.:>) (Conclusion e)

instance Monadic (Conclusion e) where
	wrap :: Conclusion e ~> (Conclusion e :> u)
wrap = (<.:>) (Conclusion e) u a -> (:>) (Conclusion e) u a
forall (t :: * -> *) (u :: * -> *) a.
Schematic Monad t u a -> (:>) t u a
TM ((<.:>) (Conclusion e) u a -> (:>) (Conclusion e) u a)
-> (Conclusion e a -> (<.:>) (Conclusion e) u a)
-> Conclusion e a
-> (:>) (Conclusion e) u a
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. ((u :. Conclusion e) := a) -> (<.:>) (Conclusion e) u a
forall k k k k (ct :: k) (cu :: k) (t :: k -> k) (u :: k -> *)
       (a :: k).
((u :. t) := a) -> UT ct cu t u a
UT (((u :. Conclusion e) := a) -> (<.:>) (Conclusion e) u a)
-> (Conclusion e a -> (u :. Conclusion e) := a)
-> Conclusion e a
-> (<.:>) (Conclusion e) u a
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. Conclusion e a -> (u :. Conclusion e) := a
forall (t :: * -> *) a. Pointable t => a |-> t
point

type Failable e = Adaptable (Conclusion e)

instance Covariant u => Covariant (Conclusion e <.:> u) where
	a -> b
f <$> :: (a -> b) -> (<.:>) (Conclusion e) u a -> (<.:>) (Conclusion e) u b
<$> UT (u :. Conclusion e) := a
x = ((u :. Conclusion e) := b) -> (<.:>) (Conclusion e) u b
forall k k k k (ct :: k) (cu :: k) (t :: k -> k) (u :: k -> *)
       (a :: k).
((u :. t) := a) -> UT ct cu t u a
UT (((u :. Conclusion e) := b) -> (<.:>) (Conclusion e) u b)
-> ((u :. Conclusion e) := b) -> (<.:>) (Conclusion e) u b
forall (m :: * -> * -> *) a b. Category m => m a b -> m a b
$ a -> b
f (a -> b) -> ((u :. Conclusion e) := a) -> (u :. Conclusion e) := b
forall (t :: * -> *) (u :: * -> *) a b.
(Covariant t, Covariant u) =>
(a -> b) -> ((t :. u) := a) -> (t :. u) := b
<$$> (u :. Conclusion e) := a
x

instance Applicative u => Applicative (Conclusion e <.:> u) where
	UT (u :. Conclusion e) := (a -> b)
f <*> :: (<.:>) (Conclusion e) u (a -> b)
-> (<.:>) (Conclusion e) u a -> (<.:>) (Conclusion e) u b
<*> UT (u :. Conclusion e) := a
x = ((u :. Conclusion e) := b) -> (<.:>) (Conclusion e) u b
forall k k k k (ct :: k) (cu :: k) (t :: k -> k) (u :: k -> *)
       (a :: k).
((u :. t) := a) -> UT ct cu t u a
UT (((u :. Conclusion e) := b) -> (<.:>) (Conclusion e) u b)
-> ((u :. Conclusion e) := b) -> (<.:>) (Conclusion e) u b
forall (m :: * -> * -> *) a b. Category m => m a b -> m a b
$ Conclusion e (a -> b) -> Conclusion e a -> Conclusion e b
forall (t :: * -> *) a b. Applicative t => t (a -> b) -> t a -> t b
(<*>) (Conclusion e (a -> b) -> Conclusion e a -> Conclusion e b)
-> ((u :. Conclusion e) := (a -> b))
-> u (Conclusion e a -> Conclusion e b)
forall (t :: * -> *) a b. Covariant t => (a -> b) -> t a -> t b
<$> (u :. Conclusion e) := (a -> b)
f u (Conclusion e a -> Conclusion e b)
-> ((u :. Conclusion e) := a) -> (u :. Conclusion e) := b
forall (t :: * -> *) a b. Applicative t => t (a -> b) -> t a -> t b
<*> (u :. Conclusion e) := a
x

instance Pointable u => Pointable (Conclusion e <.:> u) where
	point :: a |-> (Conclusion e <.:> u)
point = ((u :. Conclusion e) := a)
-> UT Covariant Covariant (Conclusion e) u a
forall k k k k (ct :: k) (cu :: k) (t :: k -> k) (u :: k -> *)
       (a :: k).
((u :. t) := a) -> UT ct cu t u a
UT (((u :. Conclusion e) := a)
 -> UT Covariant Covariant (Conclusion e) u a)
-> (a -> (u :. Conclusion e) := a) -> a |-> (Conclusion e <.:> u)
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. Conclusion e a |-> u
forall (t :: * -> *) a. Pointable t => a |-> t
point (Conclusion e a |-> u)
-> (a -> Conclusion e a) -> a -> (u :. Conclusion e) := a
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. a -> Conclusion e a
forall (t :: * -> *) a. Pointable t => a |-> t
point

instance (Pointable u, Bindable u) => Bindable (Conclusion e <.:> u) where
	UT (u :. Conclusion e) := a
x >>= :: (<.:>) (Conclusion e) u a
-> (a -> (<.:>) (Conclusion e) u b) -> (<.:>) (Conclusion e) u b
>>= a -> (<.:>) (Conclusion e) u b
f = ((u :. Conclusion e) := b) -> (<.:>) (Conclusion e) u b
forall k k k k (ct :: k) (cu :: k) (t :: k -> k) (u :: k -> *)
       (a :: k).
((u :. t) := a) -> UT ct cu t u a
UT (((u :. Conclusion e) := b) -> (<.:>) (Conclusion e) u b)
-> ((u :. Conclusion e) := b) -> (<.:>) (Conclusion e) u b
forall (m :: * -> * -> *) a b. Category m => m a b -> m a b
$ (u :. Conclusion e) := a
x ((u :. Conclusion e) := a)
-> (Conclusion e a -> (u :. Conclusion e) := b)
-> (u :. Conclusion e) := b
forall (t :: * -> *) a b. Bindable t => t a -> (a -> t b) -> t b
>>= (e -> (u :. Conclusion e) := b)
-> (a -> (u :. Conclusion e) := b)
-> Conclusion e a
-> (u :. Conclusion e) := b
forall e r a. (e -> r) -> (a -> r) -> Conclusion e a -> r
conclusion (Conclusion e b |-> u
forall (t :: * -> *) a. Pointable t => a |-> t
point (Conclusion e b |-> u)
-> (e -> Conclusion e b) -> e -> (u :. Conclusion e) := b
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. e -> Conclusion e b
forall e a. e -> Conclusion e a
Failure) ((<.:>) (Conclusion e) u b -> (u :. Conclusion e) := b
forall (t :: * -> *) a. Interpreted t => t a -> Primary t a
run ((<.:>) (Conclusion e) u b -> (u :. Conclusion e) := b)
-> (a -> (<.:>) (Conclusion e) u b)
-> a
-> (u :. Conclusion e) := b
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. a -> (<.:>) (Conclusion e) u b
f)

instance Monad u => Monad (Conclusion e <.:> u) where

failure :: Failable e t => e -> t a
failure :: e -> t a
failure = Conclusion e a -> t a
forall k (t :: k -> *) (u :: k -> *). Adaptable t u => t ~> u
adapt (Conclusion e a -> t a) -> (e -> Conclusion e a) -> e -> t a
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. e -> Conclusion e a
forall e a. e -> Conclusion e a
Failure

class Catchable e t where
	catch :: t a -> (e -> t a) -> t a

instance Catchable e (Conclusion e) where
	catch :: Conclusion e a -> (e -> Conclusion e a) -> Conclusion e a
catch (Failure e
e) e -> Conclusion e a
handle = e -> Conclusion e a
handle e
e
	catch (Success a
x) e -> Conclusion e a
_ = a -> Conclusion e a
forall e a. a -> Conclusion e a
Success a
x

instance Monad u => Catchable e (Conclusion e <.:> u) where
	catch :: (<.:>) (Conclusion e) u a
-> (e -> (<.:>) (Conclusion e) u a) -> (<.:>) (Conclusion e) u a
catch (UT (u :. Conclusion e) := a
x) e -> (<.:>) (Conclusion e) u a
handle = ((u :. Conclusion e) := a) -> (<.:>) (Conclusion e) u a
forall k k k k (ct :: k) (cu :: k) (t :: k -> k) (u :: k -> *)
       (a :: k).
((u :. t) := a) -> UT ct cu t u a
UT (((u :. Conclusion e) := a) -> (<.:>) (Conclusion e) u a)
-> ((u :. Conclusion e) := a) -> (<.:>) (Conclusion e) u a
forall (m :: * -> * -> *) a b. Category m => m a b -> m a b
$ (u :. Conclusion e) := a
x ((u :. Conclusion e) := a)
-> (Conclusion e a -> (u :. Conclusion e) := a)
-> (u :. Conclusion e) := a
forall (t :: * -> *) a b. Bindable t => t a -> (a -> t b) -> t b
>>= (e -> (u :. Conclusion e) := a)
-> (a -> (u :. Conclusion e) := a)
-> Conclusion e a
-> (u :. Conclusion e) := a
forall e r a. (e -> r) -> (a -> r) -> Conclusion e a -> r
conclusion ((<.:>) (Conclusion e) u a -> (u :. Conclusion e) := a
forall (t :: * -> *) a. Interpreted t => t a -> Primary t a
run ((<.:>) (Conclusion e) u a -> (u :. Conclusion e) := a)
-> (e -> (<.:>) (Conclusion e) u a)
-> e
-> (u :. Conclusion e) := a
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. e -> (<.:>) (Conclusion e) u a
handle) (Conclusion e a -> (u :. Conclusion e) := a
forall (t :: * -> *) a. Pointable t => a |-> t
point (Conclusion e a -> (u :. Conclusion e) := a)
-> (a -> Conclusion e a) -> a -> (u :. Conclusion e) := a
forall (m :: * -> * -> *) b c a.
Category m =>
m b c -> m a b -> m a c
. a -> Conclusion e a
forall e a. a -> Conclusion e a
Success)