IHP Api Reference
Safe HaskellSafe-Inferred

IHP.IDE.ToolServer.Types

Synopsis

Documentation

data SchemaController Source #

Instances

Instances details
Data SchemaController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SchemaController -> c SchemaController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SchemaController #

toConstr :: SchemaController -> Constr #

dataTypeOf :: SchemaController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SchemaController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SchemaController) #

gmapT :: (forall b. Data b => b -> b) -> SchemaController -> SchemaController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SchemaController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SchemaController -> r #

gmapQ :: (forall d. Data d => d -> u) -> SchemaController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SchemaController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SchemaController -> m SchemaController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SchemaController -> m SchemaController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SchemaController -> m SchemaController #

Show SchemaController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq SchemaController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller SchemaController Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.Controller.Schema

AutoRoute SchemaController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data TablesController Source #

Instances

Instances details
Data TablesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TablesController -> c TablesController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TablesController #

toConstr :: TablesController -> Constr #

dataTypeOf :: TablesController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TablesController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TablesController) #

gmapT :: (forall b. Data b => b -> b) -> TablesController -> TablesController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TablesController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TablesController -> r #

gmapQ :: (forall d. Data d => d -> u) -> TablesController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TablesController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TablesController -> m TablesController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TablesController -> m TablesController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TablesController -> m TablesController #

Show TablesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq TablesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller TablesController Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.Controller.Tables

AutoRoute TablesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data ColumnsController Source #

Instances

Instances details
Data ColumnsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ColumnsController -> c ColumnsController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ColumnsController #

toConstr :: ColumnsController -> Constr #

dataTypeOf :: ColumnsController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ColumnsController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ColumnsController) #

gmapT :: (forall b. Data b => b -> b) -> ColumnsController -> ColumnsController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ColumnsController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ColumnsController -> r #

gmapQ :: (forall d. Data d => d -> u) -> ColumnsController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ColumnsController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ColumnsController -> m ColumnsController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnsController -> m ColumnsController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ColumnsController -> m ColumnsController #

Show ColumnsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq ColumnsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller ColumnsController Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.Controller.Columns

AutoRoute ColumnsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data PoliciesController Source #

Instances

Instances details
Data PoliciesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PoliciesController -> c PoliciesController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PoliciesController #

toConstr :: PoliciesController -> Constr #

dataTypeOf :: PoliciesController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PoliciesController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PoliciesController) #

gmapT :: (forall b. Data b => b -> b) -> PoliciesController -> PoliciesController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PoliciesController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PoliciesController -> r #

gmapQ :: (forall d. Data d => d -> u) -> PoliciesController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PoliciesController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PoliciesController -> m PoliciesController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PoliciesController -> m PoliciesController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PoliciesController -> m PoliciesController #

Show PoliciesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq PoliciesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller PoliciesController Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.Controller.Policies

AutoRoute PoliciesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data EnumsController Source #

Instances

Instances details
Data EnumsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumsController -> c EnumsController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumsController #

toConstr :: EnumsController -> Constr #

dataTypeOf :: EnumsController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EnumsController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumsController) #

gmapT :: (forall b. Data b => b -> b) -> EnumsController -> EnumsController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumsController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumsController -> r #

gmapQ :: (forall d. Data d => d -> u) -> EnumsController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumsController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumsController -> m EnumsController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumsController -> m EnumsController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumsController -> m EnumsController #

Show EnumsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq EnumsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller EnumsController Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.Controller.Enums

AutoRoute EnumsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data EnumValuesController Source #

Instances

Instances details
Data EnumValuesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumValuesController -> c EnumValuesController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumValuesController #

toConstr :: EnumValuesController -> Constr #

dataTypeOf :: EnumValuesController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EnumValuesController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumValuesController) #

gmapT :: (forall b. Data b => b -> b) -> EnumValuesController -> EnumValuesController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumValuesController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumValuesController -> r #

gmapQ :: (forall d. Data d => d -> u) -> EnumValuesController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumValuesController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumValuesController -> m EnumValuesController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumValuesController -> m EnumValuesController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumValuesController -> m EnumValuesController #

Show EnumValuesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq EnumValuesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller EnumValuesController Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.Controller.EnumValues

AutoRoute EnumValuesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data DataController Source #

Instances

Instances details
Data DataController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataController -> c DataController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataController #

toConstr :: DataController -> Constr #

dataTypeOf :: DataController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DataController) #

gmapT :: (forall b. Data b => b -> b) -> DataController -> DataController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataController -> r #

gmapQ :: (forall d. Data d => d -> u) -> DataController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DataController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataController -> m DataController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataController -> m DataController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataController -> m DataController #

Show DataController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq DataController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller DataController Source # 
Instance details

Defined in IHP.IDE.Data.Controller

AutoRoute DataController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data LogsController Source #

Instances

Instances details
Data LogsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LogsController -> c LogsController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LogsController #

toConstr :: LogsController -> Constr #

dataTypeOf :: LogsController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LogsController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LogsController) #

gmapT :: (forall b. Data b => b -> b) -> LogsController -> LogsController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LogsController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LogsController -> r #

gmapQ :: (forall d. Data d => d -> u) -> LogsController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LogsController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LogsController -> m LogsController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LogsController -> m LogsController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LogsController -> m LogsController #

Show LogsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq LogsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller LogsController Source # 
Instance details

Defined in IHP.IDE.Logs.Controller

AutoRoute LogsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data CodeGenController Source #

Instances

Instances details
Data CodeGenController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CodeGenController -> c CodeGenController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CodeGenController #

toConstr :: CodeGenController -> Constr #

dataTypeOf :: CodeGenController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CodeGenController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CodeGenController) #

gmapT :: (forall b. Data b => b -> b) -> CodeGenController -> CodeGenController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CodeGenController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CodeGenController -> r #

gmapQ :: (forall d. Data d => d -> u) -> CodeGenController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CodeGenController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CodeGenController -> m CodeGenController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeGenController -> m CodeGenController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeGenController -> m CodeGenController #

Show CodeGenController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq CodeGenController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller CodeGenController Source # 
Instance details

Defined in IHP.IDE.CodeGen.Controller

AutoRoute CodeGenController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data MigrationsController Source #

Instances

Instances details
Data MigrationsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MigrationsController -> c MigrationsController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MigrationsController #

toConstr :: MigrationsController -> Constr #

dataTypeOf :: MigrationsController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MigrationsController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MigrationsController) #

gmapT :: (forall b. Data b => b -> b) -> MigrationsController -> MigrationsController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MigrationsController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MigrationsController -> r #

gmapQ :: (forall d. Data d => d -> u) -> MigrationsController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MigrationsController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MigrationsController -> m MigrationsController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MigrationsController -> m MigrationsController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MigrationsController -> m MigrationsController #

Show MigrationsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq MigrationsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller MigrationsController Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.Controller.Migrations

AutoRoute MigrationsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data IndexesController Source #

Instances

Instances details
Data IndexesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IndexesController -> c IndexesController #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IndexesController #

toConstr :: IndexesController -> Constr #

dataTypeOf :: IndexesController -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IndexesController) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IndexesController) #

gmapT :: (forall b. Data b => b -> b) -> IndexesController -> IndexesController #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IndexesController -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IndexesController -> r #

gmapQ :: (forall d. Data d => d -> u) -> IndexesController -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> IndexesController -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IndexesController -> m IndexesController #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IndexesController -> m IndexesController #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IndexesController -> m IndexesController #

Show IndexesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Eq IndexesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Controller IndexesController Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.Controller.Indexes

AutoRoute IndexesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data DynamicField Source #

Instances

Instances details
Show DynamicField Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

Methods

showsPrec :: Int -> DynamicField -> ShowS #

show :: DynamicField -> String

showList :: [DynamicField] -> ShowS #

FromField DynamicField 
Instance details

Defined in IHP.IDE.Data.Controller

Methods

fromField :: FieldParser DynamicField

ToJSON [DynamicField] Source # 
Instance details

Defined in IHP.IDE.Data.Controller

data ColumnDefinition Source #

Instances

Instances details
Show ColumnDefinition Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

FromRow ColumnDefinition Source # 
Instance details

Defined in IHP.IDE.Data.Controller

Methods

fromRow :: RowParser ColumnDefinition

newtype AvailableApps Source #

Keeps track of all all available apps in the projects. Used to display the apps inside the sidebar navigation

Usually this list is like: [Web] or [Web, Admin]

Constructors

AvailableApps [Text] 

newtype AppUrl Source #

Wrapper to pass the app url to the layout. Usually "http://localhost:8000"

Constructors

AppUrl Text 

newtype WebControllers Source #

List of all controllers. Used inside e.g. the Schema Designer to decide whether to display the 'Generate Controller' option

Constructors

WebControllers [Text]