Safe HaskellNone

IHP.IDE.ToolServer.Types

Documentation

data ViewContext Source #

Instances

Instances details
CreateViewContext ViewContext Source # 
Instance details

Defined in IHP.IDE.ToolServer.ViewContext

Associated Types

type ViewApp ViewContext Source #

View ShowView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Tables.Show

View NewTableView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Tables.New

View IndexView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Tables.Index

View EditTableView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Tables.Edit

View GeneratedCodeView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Schema.GeneratedCode

View ErrorView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Schema.Error

View CodeView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Schema.Code

View ShowEnumView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Enums.Show

View NewEnumView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Enums.New

View EditEnumView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Enums.Edit

View NewEnumValueView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.EnumValues.New

View EditEnumValueView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.EnumValues.Edit

View NewForeignKeyView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Columns.NewForeignKey

View EditForeignKeyView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Columns.EditForeignKey

View EditColumnView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Columns.Edit

View NewColumnView ViewContext Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.View.Columns.New

View LogsView ViewContext Source # 
Instance details

Defined in IHP.IDE.Logs.View.Logs

View ShowDatabaseView ViewContext Source # 
Instance details

Defined in IHP.IDE.Data.View.ShowDatabase

View ShowTableRowsView ViewContext Source # 
Instance details

Defined in IHP.IDE.Data.View.ShowTableRows

View ShowQueryView ViewContext Source # 
Instance details

Defined in IHP.IDE.Data.View.ShowQuery

View NewRowView ViewContext Source # 
Instance details

Defined in IHP.IDE.Data.View.NewRow

View EditValueView ViewContext Source # 
Instance details

Defined in IHP.IDE.Data.View.EditValue

View EditRowView ViewContext Source # 
Instance details

Defined in IHP.IDE.Data.View.EditRow

View GeneratorsView ViewContext Source # 
Instance details

Defined in IHP.IDE.CodeGen.View.Generators

View NewViewView ViewContext Source # 
Instance details

Defined in IHP.IDE.CodeGen.View.NewView

View NewScriptView ViewContext Source # 
Instance details

Defined in IHP.IDE.CodeGen.View.NewScript

View NewMailView ViewContext Source # 
Instance details

Defined in IHP.IDE.CodeGen.View.NewMail

View NewControllerView ViewContext Source # 
Instance details

Defined in IHP.IDE.CodeGen.View.NewController

View NewApplicationView ViewContext Source # 
Instance details

Defined in IHP.IDE.CodeGen.View.NewApplication

View NewActionView ViewContext Source # 
Instance details

Defined in IHP.IDE.CodeGen.View.NewAction

type ViewApp ViewContext Source # 
Instance details

Defined in IHP.IDE.ToolServer.ViewContext

data SchemaController Source #

Instances

Instances details
Eq SchemaController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

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

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
Eq TablesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

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

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
Eq ColumnsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

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

Controller ColumnsController Source # 
Instance details

Defined in IHP.IDE.SchemaDesigner.Controller.Columns

AutoRoute ColumnsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Routes

data EnumsController Source #

Instances

Instances details
Eq EnumsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

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

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
Eq EnumValuesController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

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

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
Eq DataController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

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

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
Eq LogsController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

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

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
Eq CodeGenController Source # 
Instance details

Defined in IHP.IDE.ToolServer.Types

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

Controller CodeGenController Source # 
Instance details

Defined in IHP.IDE.CodeGen.Controller

AutoRoute CodeGenController 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

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

Orphan instances