essence-of-live-coding-0.2.0.1: General purpose live coding framework

Safe HaskellSafe
LanguageHaskell2010

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 #