Safe Haskell	None
Language	Haskell2010

Serpentine.Crud

Documentation

data CrudRoute Source

Constructors

AddR
EditR
DeleteR
ViewR

Instances

Bounded CrudRoute Source
Enum CrudRoute Source
Eq CrudRoute Source
Ord CrudRoute Source
Show CrudRoute Source
SingI CrudRoute AddR Source
SingI CrudRoute EditR Source
SingI CrudRoute DeleteR Source
SingI CrudRoute ViewR Source
PEnum CrudRoute (KProxy CrudRoute) Source
SEnum CrudRoute (KProxy CrudRoute) Source
PBounded CrudRoute (KProxy CrudRoute) Source
SBounded CrudRoute (KProxy CrudRoute) Source
POrd CrudRoute (KProxy CrudRoute) Source
SOrd CrudRoute (KProxy CrudRoute) Source
SEq CrudRoute (KProxy CrudRoute) Source
PEq CrudRoute (KProxy CrudRoute) Source
SDecide CrudRoute (KProxy CrudRoute) Source
SingKind CrudRoute (KProxy CrudRoute) Source
SuppressUnusedWarnings (* -> TyFun CrudRoute [Piece ] -> ) PlanCrudRouteSym1 Source
SuppressUnusedWarnings (CrudRoute -> TyFun CrudRoute Ordering -> *) Compare_1627491315Sym1 Source
SuppressUnusedWarnings (TyFun * (TyFun CrudRoute [Piece ] -> ) -> *) PlanCrudRouteSym0 Source
SuppressUnusedWarnings (TyFun Nat CrudRoute -> *) ToEnum_1627491374Sym0 Source
SuppressUnusedWarnings (TyFun CrudRoute (TyFun CrudRoute Ordering -> ) -> ) Compare_1627491315Sym0 Source
SuppressUnusedWarnings (TyFun CrudRoute Nat -> *) FromEnum_1627491416Sym0 Source
type MaxBound CrudRoute = MaxBound_1627491594Sym0 Source
type MinBound CrudRoute = MinBound_1627491520Sym0 Source
data Sing CrudRoute where SAddR :: (~) CrudRoute z AddR => Sing CrudRoute z SEditR :: (~) CrudRoute z EditR => Sing CrudRoute z SDeleteR :: (~) CrudRoute z DeleteR => Sing CrudRoute z SViewR :: (~) CrudRoute z ViewR => Sing CrudRoute z Source
type FromEnum CrudRoute a0 = Apply Nat CrudRoute FromEnum_1627491416Sym0 a0 Source
type ToEnum CrudRoute a0 = Apply CrudRoute Nat ToEnum_1627491374Sym0 a0 Source
type Pred CrudRoute arg0 = Apply CrudRoute CrudRoute (Pred_1627811545Sym0 CrudRoute) arg0
type Succ CrudRoute arg0 = Apply CrudRoute CrudRoute (Succ_1627811532Sym0 CrudRoute) arg0
type EnumFromTo CrudRoute arg0 arg1 = Apply [CrudRoute] CrudRoute (Apply (TyFun CrudRoute [CrudRoute] -> *) CrudRoute (EnumFromTo_1627811563Sym0 CrudRoute) arg0) arg1
type Min CrudRoute arg0 arg1 = Apply CrudRoute CrudRoute (Apply (TyFun CrudRoute CrudRoute -> *) CrudRoute (Min_1627654724Sym0 CrudRoute) arg0) arg1
type Max CrudRoute arg0 arg1 = Apply CrudRoute CrudRoute (Apply (TyFun CrudRoute CrudRoute -> *) CrudRoute (Max_1627654691Sym0 CrudRoute) arg0) arg1
type (:>=) CrudRoute arg0 arg1 = Apply Bool CrudRoute (Apply (TyFun CrudRoute Bool -> *) CrudRoute (TFHelper_1627654658Sym0 CrudRoute) arg0) arg1
type (:>) CrudRoute arg0 arg1 = Apply Bool CrudRoute (Apply (TyFun CrudRoute Bool -> *) CrudRoute (TFHelper_1627654625Sym0 CrudRoute) arg0) arg1
type (:<=) CrudRoute arg0 arg1 = Apply Bool CrudRoute (Apply (TyFun CrudRoute Bool -> *) CrudRoute (TFHelper_1627654592Sym0 CrudRoute) arg0) arg1
type (:<) CrudRoute arg0 arg1 = Apply Bool CrudRoute (Apply (TyFun CrudRoute Bool -> *) CrudRoute (TFHelper_1627654559Sym0 CrudRoute) arg0) arg1
type Compare CrudRoute a0 a1 = Apply Ordering CrudRoute (Apply (TyFun CrudRoute Ordering -> *) CrudRoute Compare_1627491315Sym0 a0) a1 Source
type (:/=) CrudRoute x y = Not ((:==) CrudRoute x y)
type (:==) CrudRoute a0 b0 = Equals_1627491013 a0 b0 Source
type EnumFromThenTo CrudRoute arg0 arg1 arg2 = Apply [CrudRoute] CrudRoute (Apply (TyFun CrudRoute [CrudRoute] -> ) CrudRoute (Apply (TyFun CrudRoute (TyFun CrudRoute [CrudRoute] -> ) -> *) CrudRoute (EnumFromThenTo_1627811593Sym0 CrudRoute) arg0) arg1) arg2
type Apply Nat CrudRoute FromEnum_1627491416Sym0 l0 = FromEnum_1627491416Sym1 l0 Source
type Apply CrudRoute Nat ToEnum_1627491374Sym0 l0 = ToEnum_1627491374Sym1 l0 Source
type Apply Ordering CrudRoute (Compare_1627491315Sym1 l1) l0 = Compare_1627491315Sym2 l1 l0 Source
type DemoteRep CrudRoute (KProxy CrudRoute) = CrudRoute Source
type Apply [Piece *] CrudRoute (PlanCrudRouteSym1 l1) l0 = PlanCrudRouteSym2 l1 l0 Source
type Apply (TyFun CrudRoute [Piece ] -> ) * PlanCrudRouteSym0 l0 = PlanCrudRouteSym1 l0 Source
type Apply (TyFun CrudRoute Ordering -> *) CrudRoute Compare_1627491315Sym0 l0 = Compare_1627491315Sym1 l0 Source

type family Equals_1627491013 a b :: Bool Source

Equations

Equals_1627491013 AddR AddR = TrueSym0
Equals_1627491013 EditR EditR = TrueSym0
Equals_1627491013 DeleteR DeleteR = TrueSym0
Equals_1627491013 ViewR ViewR = TrueSym0
Equals_1627491013 (a :: CrudRoute) (b :: CrudRoute) = FalseSym0

type family Compare_1627491315 a a :: Ordering Source

Equations

Compare_1627491315 AddR AddR = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) `[]`
Compare_1627491315 EditR EditR = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) `[]`
Compare_1627491315 DeleteR DeleteR = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) `[]`
Compare_1627491315 ViewR ViewR = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) `[]`
Compare_1627491315 AddR EditR = LTSym0
Compare_1627491315 AddR DeleteR = LTSym0
Compare_1627491315 AddR ViewR = LTSym0
Compare_1627491315 EditR AddR = GTSym0
Compare_1627491315 EditR DeleteR = LTSym0
Compare_1627491315 EditR ViewR = LTSym0
Compare_1627491315 DeleteR AddR = GTSym0
Compare_1627491315 DeleteR EditR = GTSym0
Compare_1627491315 DeleteR ViewR = LTSym0
Compare_1627491315 ViewR AddR = GTSym0
Compare_1627491315 ViewR EditR = GTSym0
Compare_1627491315 ViewR DeleteR = GTSym0

type family FromEnum_1627491416 a :: Nat Source

Equations

FromEnum_1627491416 AddR = FromInteger 0
FromEnum_1627491416 EditR = FromInteger 1
FromEnum_1627491416 DeleteR = FromInteger 2
FromEnum_1627491416 ViewR = FromInteger 3

type SCrudRoute = (Sing :: CrudRoute -> *) Source

type FromEnum_1627491416Sym1 t = FromEnum_1627491416 t Source

data FromEnum_1627491416Sym0 l Source

Constructors

forall arg . (KindOf (Apply FromEnum_1627491416Sym0 arg) ~ KindOf (FromEnum_1627491416Sym1 arg)) => FromEnum_1627491416Sym0KindInference

Instances

SuppressUnusedWarnings (TyFun CrudRoute Nat -> *) FromEnum_1627491416Sym0 Source
type Apply Nat CrudRoute FromEnum_1627491416Sym0 l0 = FromEnum_1627491416Sym1 l0 Source

type Compare_1627491315Sym2 t t = Compare_1627491315 t t Source

data Compare_1627491315Sym1 l l Source

Constructors

forall arg . (KindOf (Apply (Compare_1627491315Sym1 l) arg) ~ KindOf (Compare_1627491315Sym2 l arg)) => Compare_1627491315Sym1KindInference

Instances

SuppressUnusedWarnings (CrudRoute -> TyFun CrudRoute Ordering -> *) Compare_1627491315Sym1 Source
type Apply Ordering CrudRoute (Compare_1627491315Sym1 l1) l0 = Compare_1627491315Sym2 l1 l0 Source

data Compare_1627491315Sym0 l Source

Constructors

forall arg . (KindOf (Apply Compare_1627491315Sym0 arg) ~ KindOf (Compare_1627491315Sym1 arg)) => Compare_1627491315Sym0KindInference

Instances

SuppressUnusedWarnings (TyFun CrudRoute (TyFun CrudRoute Ordering -> ) -> ) Compare_1627491315Sym0 Source
type Apply (TyFun CrudRoute Ordering -> *) CrudRoute Compare_1627491315Sym0 l0 = Compare_1627491315Sym1 l0 Source

type ViewRSym0 = ViewR Source

type family Case_1627491367 n t Source

Equations

Case_1627491367 n True = ViewRSym0
Case_1627491367 n False = Apply ErrorSym0 "toEnum: bad argument"

type family MaxBound_1627491594 :: CrudRoute Source

Equations

MaxBound_1627491594 = ViewRSym0

type MaxBound_1627491594Sym0 = MaxBound_1627491594 Source

type DeleteRSym0 = DeleteR Source

type family Case_1627491365 n t Source

Equations

Case_1627491365 n True = DeleteRSym0
Case_1627491365 n False = Case_1627491367 n (Apply (Apply (:==$) n) (FromInteger 3))

type EditRSym0 = EditR Source

type family Case_1627491363 n t Source

Equations

Case_1627491363 n True = EditRSym0
Case_1627491363 n False = Case_1627491365 n (Apply (Apply (:==$) n) (FromInteger 2))

type AddRSym0 = AddR Source

type family Case_1627491361 n t Source

Equations

Case_1627491361 n True = AddRSym0
Case_1627491361 n False = Case_1627491363 n (Apply (Apply (:==$) n) (FromInteger 1))

type family ToEnum_1627491374 a :: CrudRoute Source

Equations

ToEnum_1627491374 n = Case_1627491361 n (Apply (Apply (:==$) n) (FromInteger 0))

type ToEnum_1627491374Sym1 t = ToEnum_1627491374 t Source

data ToEnum_1627491374Sym0 l Source

Constructors

forall arg . (KindOf (Apply ToEnum_1627491374Sym0 arg) ~ KindOf (ToEnum_1627491374Sym1 arg)) => ToEnum_1627491374Sym0KindInference

Instances

SuppressUnusedWarnings (TyFun Nat CrudRoute -> *) ToEnum_1627491374Sym0 Source
type Apply CrudRoute Nat ToEnum_1627491374Sym0 l0 = ToEnum_1627491374Sym1 l0 Source

type family MinBound_1627491520 :: CrudRoute Source

Equations

MinBound_1627491520 = AddRSym0

type MinBound_1627491520Sym0 = MinBound_1627491520 Source

type family PlanCrudRoute key r :: [Piece *] Source

Equations

PlanCrudRoute key AddR = `[Static "add"]`
PlanCrudRoute key EditR = `[Static "edit", Capture key]`
PlanCrudRoute key DeleteR = `[Static "delete", Capture key]`
PlanCrudRoute key ViewR = `[Static "view", Capture key]`

type PlanCrudRouteSym2 t t = PlanCrudRoute t t Source

data PlanCrudRouteSym1 l l Source

Constructors

forall arg . (KindOf (Apply (PlanCrudRouteSym1 l) arg) ~ KindOf (PlanCrudRouteSym2 l arg)) => PlanCrudRouteSym1KindInference

Instances

SuppressUnusedWarnings (* -> TyFun CrudRoute [Piece ] -> ) PlanCrudRouteSym1 Source
type Apply [Piece *] CrudRoute (PlanCrudRouteSym1 l1) l0 = PlanCrudRouteSym2 l1 l0 Source

data PlanCrudRouteSym0 l Source

Constructors

forall arg . (KindOf (Apply PlanCrudRouteSym0 arg) ~ KindOf (PlanCrudRouteSym1 arg)) => PlanCrudRouteSym0KindInference

Instances

SuppressUnusedWarnings (TyFun * (TyFun CrudRoute [Piece ] -> ) -> *) PlanCrudRouteSym0 Source
type Apply (TyFun CrudRoute [Piece ] -> ) * PlanCrudRouteSym0 l0 = PlanCrudRouteSym1 l0 Source

sPlanCrudRoute :: (Typeable i, PathPiece i) => Proxy i -> SCrudRoute route -> SList (PlanCrudRoute i route) Source