Module

MVC.Util

Package: purescript-mvc
Repository: thought2/purescript-mvc

#FnMapProp Source

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

Constructors

FnMapProp (Proxy k)

Instances

(IsSymbol k, Cons k a rx r) => Mapping (FnMapProp k) (Record r) a

#MapProp Source

class MapProp :: Symbol -> Row Type -> Row Type -> Constraintclass MapProp (sym :: Symbol) (ri :: Row Type) (ro :: Row Type) | sym ri -> ro where

Members

mapProp :: Proxy sym -> Record ri -> Record ro

Instances

(HMap (FnMapProp sym) (Record ri) (Record ro)) => MapProp sym ri ro

Modules: MVC.Record; MVC.Record.Init; MVC.Record.Types; MVC.Record.UI; MVC.Record.Update; MVC.Record.View; MVC.Types; MVC.Util; MVC.Variant; MVC.Variant.Init; MVC.Variant.Types; MVC.Variant.UI; MVC.Variant.Update; MVC.Variant.View