DataMVC.Types

type DataResult a = Either (NonEmptyArray DataError) a

data DataErrorCase

Constructors

• DataErrNotYetDefined
• DataErrMsg String

Instances

• Generic DataErrorCase _
• Show DataErrorCase
• Ord DataErrorCase
• Eq DataErrorCase

data DataError

Instances

• Ord DataError
• Eq DataError
• Generic DataError _
• Show DataError

data DataPathSegmentField

Constructors

• SegStaticKey String
• SegStaticIndex Int
• SegDynamicKey String
• SegDynamicIndex Int
• SegVirtualKey String

Instances

• Generic DataPathSegmentField _
• Show DataPathSegmentField
• Ord DataPathSegmentField
• Eq DataPathSegmentField

data DataPathSegment

Constructors

• SegCase String
• SegField DataPathSegmentField

Instances

• Generic DataPathSegment _
• Show DataPathSegment
• Ord DataPathSegment
• Eq DataPathSegment

type DataPath = Array DataPathSegment

newtype DataUiInterface :: (Type -> Type) -> Type -> Type -> Type -> Typenewtype DataUiInterface srf msg sta a

Constructors

• DataUiInterface { extract :: sta -> DataResult a, init :: Maybe a -> sta, name :: String, update :: msg -> sta -> sta, view :: sta -> srf msg }

Instances

• Newtype (DataUiInterface srf msg sta a) _

newtype DataUICtx :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Typenewtype DataUICtx html fm fs

Constructors

• DataUICtx (DataUICtxImpl html fm fs)

newtype DataUI :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Type -> Type -> Type -> Typenewtype DataUI srf fm fs msg sta a

Constructors

• DataUI (DataUICtx srf fm fs -> DataUiInterface srf msg sta a)

Instances

• Newtype (DataUI srf fm fs msg sta a) _