Module

WAGS.Control.Indexed

Package: purescript-wags
Repository: mikesol/purescript-wags

#IxWAG Source

newtype IxWAG (audio :: Type) (engine :: Type) (proof :: Type) (res :: Type) (graphi :: Type) (grapho :: Type) (a :: Type)

Constructors

IxWAG (forall q. WAG audio engine proof res graphi q -> WAG audio engine proof res grapho a)

Instances

Functor (IxWAG audio engine proof res graphi grapho)
IxFunctor (IxWAG audio engine proof res)
IxApply (IxWAG audio engine proof res)
Apply (IxWAG audio engine proof res graph graph)
IxApplicative (IxWAG audio engine proof res)
Applicative (IxWAG audio engine proof res graph graph)
IxBind (IxWAG audio engine proof res)
IxMonad (IxWAG audio engine proof res)

#IxFrame Source

type IxFrame (env :: Type) (audio :: Type) (engine :: Type) (proof :: Type) (res :: Type) (graphi :: Type) (grapho :: Type) (a :: Type) = env -> IxWAG audio engine proof res graphi grapho a