| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Rest.Gen.Base.ActionInfo
- type Accessor = (String, Maybe Ident)
- data ActionInfo = ActionInfo {
- ident :: Maybe Ident
- postAction :: Bool
- actionType :: ActionType
- actionTarget :: ActionTarget
- resDir :: String
- method :: RequestMethod
- inputs :: [DataDescription]
- outputs :: [DataDescription]
- errors :: [DataDescription]
- params :: [String]
- https :: Bool
- link :: Link
- data ActionType
- = Retrieve
- | Create
- | Delete
- | DeleteMany
- | List
- | Update
- | UpdateMany
- | Modify
- data ActionTarget
- data DataDescription = DataDescription {}
- data DataType
- type ResourceId = [String]
- accessLink :: [Accessor] -> Link
- accessors :: Step sid mid aid -> [Accessor]
- chooseType :: [DataDescription] -> Maybe DataDescription
- isAccessor :: ActionInfo -> Bool
- listGetterActionInfo :: Resource m s sid mid aid -> String -> Getter mid -> [ActionInfo]
- mkActionDescription :: String -> ActionInfo -> String
- namedActionInfo :: Resource m s sid mid aid -> String -> Endpoint sid mid aid -> [ActionInfo]
- resourceToAccessors :: Resource m s sid mid aid -> [Accessor]
- resourceToActionInfo :: forall m s sid mid aid. Resource m s sid mid aid -> [ActionInfo]
- selectActionInfo :: Link -> String -> Handler m -> ActionInfo
- singleActionInfo :: Resource m s sid mid aid -> Maybe (Id sid) -> String -> [ActionInfo]
Documentation
data ActionInfo Source
Constructors
| ActionInfo | |
Fields
| |
Instances
data ActionType Source
Constructors
| Retrieve | |
| Create | |
| Delete | |
| DeleteMany | |
| List | |
| Update | |
| UpdateMany | |
| Modify |
Instances
data DataDescription Source
Description of input/output data
Constructors
| DataDescription | |
Fields
| |
Instances
type ResourceId = [String] Source
Representation of resource
accessLink :: [Accessor] -> Link Source
isAccessor :: ActionInfo -> Bool Source
listGetterActionInfo :: Resource m s sid mid aid -> String -> Getter mid -> [ActionInfo] Source
mkActionDescription :: String -> ActionInfo -> String Source
namedActionInfo :: Resource m s sid mid aid -> String -> Endpoint sid mid aid -> [ActionInfo] Source
resourceToAccessors :: Resource m s sid mid aid -> [Accessor] Source
resourceToActionInfo :: forall m s sid mid aid. Resource m s sid mid aid -> [ActionInfo] Source
selectActionInfo :: Link -> String -> Handler m -> ActionInfo Source
singleActionInfo :: Resource m s sid mid aid -> Maybe (Id sid) -> String -> [ActionInfo] Source