MVC.Record.Init

class InitRecord :: Row Type -> Row Type -> Constraintclass InitRecord (inits :: Row Type) (rsta :: Row Type)  where

Members

• initRecord :: Record inits -> RecordState rsta

Instances

• InitRecord inits inits