Module

GDP.Proof

Package
purescript-gdp
Repository
colehaus/purescript-gdp

#type (:::) Source

Operator alias for GDP.Proof.SuchThat (non-associative / precedence 4)

#Proof Source

data Proof p

#SuchThat Source

newtype SuchThat a p

#(...) Source

Operator alias for GDP.Proof.attach (non-associative / precedence 4)

#attach Source

attach :: forall p a. a -> Proof p -> SuchThat a p

#axiom Source

axiom :: forall p. Proof p

#unSuchThat Source

unSuchThat :: forall p a. SuchThat a p -> a