LiveCoding.Exceptions.Finite

Documentation

class Finite e where

Minimal complete definition

Nothing

Methods

commute :: Monad m => (e -> Cell m a b) -> Cell (ReaderT e m) a b

default commute :: (Generic e, GFinite (Rep e), Monad m) => (e -> Cell m a b) -> Cell (ReaderT e m) a b

Instances

Finite Bool

Defined in LiveCoding.Exceptions.Finite

Methods

commute :: forall (m :: Type -> Type) a b. Monad m => (Bool -> Cell m a b) -> Cell (ReaderT Bool m) a b

Finite ()

Defined in LiveCoding.Exceptions.Finite

Methods

commute :: forall (m :: Type -> Type) a b. Monad m => (() -> Cell m a b) -> Cell (ReaderT () m) a b

Finite Void

Defined in LiveCoding.Exceptions.Finite

Methods

commute :: forall (m :: Type -> Type) a b. Monad m => (Void -> Cell m a b) -> Cell (ReaderT Void m) a b

(Finite e1, Finite e2) => Finite (Either e1 e2)

Defined in LiveCoding.Exceptions.Finite

Methods

commute :: forall (m :: Type -> Type) a b. Monad m => (Either e1 e2 -> Cell m a b) -> Cell (ReaderT (Either e1 e2) m) a b

class GFinite f where

Methods

gcommute :: Monad m => (f e -> Cell m a b) -> Cell (ReaderT (f e) m) a b

Instances

GFinite (V1 :: Type -> Type)

Defined in LiveCoding.Exceptions.Finite

Methods

gcommute :: forall (m :: Type -> Type) e a b. Monad m => (V1 e -> Cell m a b) -> Cell (ReaderT (V1 e) m) a b

GFinite (U1 :: Type -> Type)

Defined in LiveCoding.Exceptions.Finite

Methods

gcommute :: forall (m :: Type -> Type) e a b. Monad m => (U1 e -> Cell m a b) -> Cell (ReaderT (U1 e) m) a b

Finite e => GFinite (K1 a e :: Type -> Type)

Defined in LiveCoding.Exceptions.Finite

Methods

gcommute :: forall (m :: Type -> Type) e0 a0 b. Monad m => (K1 a e e0 -> Cell m a0 b) -> Cell (ReaderT (K1 a e e0) m) a0 b

(GFinite eL, GFinite eR) => GFinite (eL :+: eR)

Defined in LiveCoding.Exceptions.Finite

Methods

gcommute :: forall (m :: Type -> Type) e a b. Monad m => ((eL :+: eR) e -> Cell m a b) -> Cell (ReaderT ((eL :+: eR) e) m) a b

(GFinite e1, GFinite e2) => GFinite (e1 :*: e2)

Defined in LiveCoding.Exceptions.Finite

Methods

gcommute :: forall (m :: Type -> Type) e a b. Monad m => ((e1 :*: e2) e -> Cell m a b) -> Cell (ReaderT ((e1 :*: e2) e) m) a b

GFinite f => GFinite (M1 a b f)

Defined in LiveCoding.Exceptions.Finite

Methods

gcommute :: forall (m :: Type -> Type) e a0 b0. Monad m => (M1 a b f e -> Cell m a0 b0) -> Cell (ReaderT (M1 a b f e) m) a0 b0