Module

GDP.Named

Package: purescript-gdp
Repository: colehaus/purescript-gdp

#Defn Source

data Defn

#Named Source

newtype Named name a

Instances

(Show a) => Show (Named name a)
(Eq a) => Eq (Named name a)
(Ord a) => Ord (Named name a)

#defn Source

defn :: forall a f. (Defn -> f) -> a -> Named f a

#name Source

name :: forall t a. a -> (forall name. Named name a -> t) -> t

#name2 Source

name2 :: forall t b a. a -> b -> (forall name2 name1. Named name1 a -> Named name2 b -> t) -> t

#name3 Source

name3 :: forall t c b a. a -> b -> c -> (forall name3 name2 name1. Named name1 a -> Named name2 b -> Named name3 c -> t) -> t

#unName Source

unName :: forall a name. Named name a -> a

Modules: GDP.Named; GDP.Proof