Module
WAGS.Util
- Package
- purescript-wags
- Repository
- mikesol/purescript-wags
This module contains utility typeclasses for various type-level programs.
#TypeEqualTF Source
class TypeEqualTF (a :: Type) (b :: Type) (c :: Type) | a b -> c
Type-equality as a true/false assertion. Like TypeEquals, but allows us to encode the failure case.
Instances
TypeEqualTF a a True
TypeEqualTF a b False
#SymInRowList' Source
class SymInRowList' tf sym nodeList o | tf sym nodeList -> o
Instances
SymInRowList' True sym rl True
SymInRowList' False sym Nil False
(SymEq sym h tf, SymInRowList' tf sym tail o) => SymInRowList' False sym (Cons h head tail) o
#SymInRowList Source
class SymInRowList sym nodeList tf | sym nodeList -> tf
Instances
(SymInRowList' False sym rl tf) => SymInRowList sym rl tf
#RowListEmpty Source
class RowListEmpty rowList tf | rowList -> tf
Instances
RowListEmpty Nil True
RowListEmpty (Cons a b c) False
- Modules
- FRP.
Event. MIDI - WAGS.
Change - WAGS.
Change. Optionals - WAGS.
Comonad - WAGS.
Connect - WAGS.
Control. Functions - WAGS.
Control. Functions. Validated - WAGS.
Control. Indexed - WAGS.
Control. Types - WAGS.
Create - WAGS.
Create. Optionals - WAGS.
CreateT - WAGS.
Debug - WAGS.
Destroy - WAGS.
Disconnect - WAGS.
Edgeable - WAGS.
Graph. AudioUnit - WAGS.
Graph. Edge - WAGS.
Graph. Graph - WAGS.
Graph. Node - WAGS.
Graph. Oversample - WAGS.
Graph. Paramable - WAGS.
Graph. Parameter - WAGS.
Interpret - WAGS.
Math - WAGS.
Patch - WAGS.
Rendered - WAGS.
Run - WAGS.
Util - WAGS.
Validation