Module

WAGS.Util

Package
purescript-wags
Repository
mikesol/purescript-wags

This module contains utility typeclasses for various type-level programs.

#Gate Source

class Gate tf l r o | tf l r -> o

Instances

#OGate Source

class OGate tf l r o | tf l r -> o

Instances

#CmpEq Source

class CmpEq (c :: Ordering) (tf :: Type) | c -> tf

Instances

#SymEq Source

class SymEq (s0 :: Symbol) (s1 :: Symbol) (tf :: Type) | s0 s1 -> tf

Instances

#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

#LtEq Source

class LtEq (a :: Nat) (b :: Nat) 

Assertion that a is less than b

Instances

#SymInRowList' Source

class SymInRowList' tf sym nodeList o | tf sym nodeList -> o

Instances

#SymInRowList Source

class SymInRowList sym nodeList tf | sym nodeList -> tf

Instances

#RowListEmpty Source

class RowListEmpty rowList tf | rowList -> tf

Instances

#tmap Source

tmap :: forall a b. (a -> b) -> a /\ a -> b /\ b