Module

Classless

Package
purescript-classless
Repository
thought2/purescript-classless

#(~) Source

Operator alias for Classless.ProductSpec (right-associative / precedence 6)

#InitRecordField Source

data InitRecordField a

Instances

#InitSumField Source

data InitSumField f

Instances

#MapProp Source

data MapProp :: Symbol -> Typedata MapProp (k :: Symbol)

Instances

#MapSumRecord Source

data MapSumRecord mp

Instances

#ProductSpec Source

data ProductSpec a b

Constructors

Instances

#Init Source

class Init fn a  where

Members

Instances

#InitProduct Source

class InitProduct f a  where

Members

Instances

#InitRecord Source

class InitRecord :: Type -> Row Type -> Constraintclass InitRecord f r  where

Members

Instances

#InitSum Source

class InitSum :: Type -> Row Type -> Constraintclass InitSum f r  where

Members

Instances

#MapProduct Source

class MapProduct mp a b  where

Members

Instances

#MapSum Source

class MapSum :: Type -> Row Type -> Row Type -> Constraintclass MapSum (mp :: Type) (ri :: Row Type) (ro :: Row Type) | mp ri -> ro where

Members

Instances

#MapSumProp Source

class MapSumProp :: Symbol -> Row Type -> Row Type -> Constraintclass MapSumProp (k :: Symbol) (ri :: Row Type) (ro :: Row Type) | k ri -> ro where

Members

Instances

#SequenceProduct Source

class SequenceProduct :: Type -> Type -> (Type -> Type) -> Constraintclass SequenceProduct specI specO (f :: Type -> Type) | specO f -> specI where

Members

Instances

#SequenceRecord Source

class SequenceRecord :: Row Type -> Row Type -> (Type -> Type) -> Constraintclass SequenceRecord row row' m | row' -> row m where

Members

Instances

#SequenceRecordRL Source

class SequenceRecordRL :: RowList Type -> Row Type -> Row Type -> Row Type -> (Type -> Type) -> Constraintclass (Functor m) <= SequenceRecordRL (rl :: RowList Type) row from to m | rl row -> from to m where

Members

Instances

#type (~) Source

Operator alias for Classless.ProductSpec (right-associative / precedence 6)

#pick Source

pick :: forall r2 rx r1. Union r2 rx r1 => Record r1 -> Record r2
Modules
Classless