Safe Haskell	Safe
Language	Haskell2010

LiveCoding.Exceptions.Finite

Documentation

class Finite e where Source #

Minimal complete definition

Nothing

Methods

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

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

Instances

Finite Bool Source #
Instance details Defined in LiveCoding.Exceptions.Finite Methods commute :: Monad m => (Bool -> Cell m a b) -> Cell (ReaderT Bool m) a b Source #
Finite () Source #
Instance details Defined in LiveCoding.Exceptions.Finite Methods commute :: Monad m => (() -> Cell m a b) -> Cell (ReaderT () m) a b Source #
Finite Void Source #
Instance details Defined in LiveCoding.Exceptions.Finite Methods commute :: Monad m => (Void -> Cell m a b) -> Cell (ReaderT Void m) a b Source #
(Finite e1, Finite e2) => Finite (Either e1 e2) Source #
Instance details Defined in LiveCoding.Exceptions.Finite Methods commute :: Monad m => (Either e1 e2 -> Cell m a b) -> Cell (ReaderT (Either e1 e2) m) a b Source #

class GFinite f where Source #

Methods

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

Instances

GFinite (V1 :: Type -> Type) Source #
Instance details Defined in LiveCoding.Exceptions.Finite Methods gcommute :: Monad m => (V1 e -> Cell m a b) -> Cell (ReaderT (V1 e) m) a b Source #
GFinite (U1 :: Type -> Type) Source #
Instance details Defined in LiveCoding.Exceptions.Finite Methods gcommute :: Monad m => (U1 e -> Cell m a b) -> Cell (ReaderT (U1 e) m) a b Source #
Finite e => GFinite (K1 a e :: Type -> Type) Source #
Instance details Defined in LiveCoding.Exceptions.Finite Methods gcommute :: Monad m => (K1 a e e0 -> Cell m a0 b) -> Cell (ReaderT (K1 a e e0) m) a0 b Source #
(GFinite eL, GFinite eR) => GFinite (eL :+: eR) Source #
Instance details Defined in LiveCoding.Exceptions.Finite Methods gcommute :: Monad m => ((eL :+: eR) e -> Cell m a b) -> Cell (ReaderT ((eL :+: eR) e) m) a b Source #
(GFinite e1, GFinite e2) => GFinite (e1 :*: e2) Source #
Instance details Defined in LiveCoding.Exceptions.Finite Methods gcommute :: Monad m => ((e1 :: e2) e -> Cell m a b) -> Cell (ReaderT ((e1 :: e2) e) m) a b Source #
GFinite f => GFinite (M1 a b f) Source #
Instance details Defined in LiveCoding.Exceptions.Finite Methods gcommute :: Monad m => (M1 a b f e -> Cell m a0 b0) -> Cell (ReaderT (M1 a b f e) m) a0 b0 Source #