type Rep (DefaultVI f)
Instance details Defined in Mischief.Render.Material.Definition type Rep (DefaultVI f) = D1 ('MetaData "DefaultVI" "Mischief.Render.Material.Definition" "mischief-render-0.1.0.0-inplace" 'True) (C1 ('MetaCons "DefaultVI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BuiltIn f "vertex_index" Uint))))

Methods

from :: DefaultVI f -> Rep (DefaultVI f) x #

to :: Rep (DefaultVI f) x -> DefaultVI f #

type Rep (DefaultVI f) Source #

Instance details

Defined in Mischief.Render.Material.Definition

type Rep (DefaultVI f) = D1 ('MetaData "DefaultVI" "Mischief.Render.Material.Definition" "mischief-render-0.1.0.0-inplace" 'True) (C1 ('MetaCons "DefaultVI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BuiltIn f "vertex_index" Uint))))

newtype DefaultVO f Source #

Constructors

DefaultVO
Fields pos :: BuiltIn f "position" (Vec 4 Float)

Instances

Instances details

ShaderParam DefaultVO Source #

Instance details

Defined in Mischief.Render.Material.Definition

Methods

collectParams :: Params

paramDefinition :: ParamDefinition

dummyParam :: DefaultVO GPU

collectValues :: DefaultVO GPU -> Values

Generic (DefaultVO f) Source #

Instance details

Defined in Mischief.Render.Material.Definition

Associated Types

type Rep (DefaultVO f)
Instance details Defined in Mischief.Render.Material.Definition type Rep (DefaultVO f) = D1 ('MetaData "DefaultVO" "Mischief.Render.Material.Definition" "mischief-render-0.1.0.0-inplace" 'True) (C1 ('MetaCons "DefaultVO" 'PrefixI 'True) (S1 ('MetaSel ('Just "pos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BuiltIn f "position" (Vec 4 Float)))))

Methods

from :: DefaultVO f -> Rep (DefaultVO f) x #

to :: Rep (DefaultVO f) x -> DefaultVO f #

type Rep (DefaultVO f) Source #

Instance details

Defined in Mischief.Render.Material.Definition

type Rep (DefaultVO f) = D1 ('MetaData "DefaultVO" "Mischief.Render.Material.Definition" "mischief-render-0.1.0.0-inplace" 'True) (C1 ('MetaCons "DefaultVO" 'PrefixI 'True) (S1 ('MetaSel ('Just "pos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BuiltIn f "position" (Vec 4 Float)))))

class (Bindable (B a), ShaderParam (VI a), ShaderParam (VO a), Extension (Extends a), Typeable a, Typeable (B a), Typeable (VI a), Typeable (VO a), Typeable (Extends a), Typeable (IsPhantom a)) => Material a where Source #

Minimal complete definition

fetch

Associated Types

type VI a :: Type -> Type Source #

type VO a :: Type -> Type Source #

type B a :: Type -> Type Source #

type Extends a :: [Type] Source #

type Extends a = '[] :: [Type]

type Extandable a :: Bool Source #

type Extandable a = 'True

type IsPhantom a :: Bool Source #

type IsPhantom a = 'False

Methods

vertex :: VI a GPU -> Shader a (VO a GPU) Source #

default vertex :: IsPhantom a ~ 'True => VI a GPU -> Shader a (VO a GPU) Source #

fragment :: VO a GPU -> Shader a (Vec 4 Float) Source #

default fragment :: IsPhantom a ~ 'True => VO a GPU -> Shader a (Vec 4 Float) Source #

fetch :: FetchBindings (B a) Source #

Instances

Instances details

Material FullscreenMaterial Source #

Instance details

Defined in Mischief.Materials.Fullscreen

Associated Types

type VI FullscreenMaterial
Instance details Defined in Mischief.Materials.Fullscreen type VI FullscreenMaterial = VertexInput
type VO FullscreenMaterial
Instance details Defined in Mischief.Materials.Fullscreen type VO FullscreenMaterial = VertexOutput
type B FullscreenMaterial
Instance details Defined in Mischief.Materials.Fullscreen type B FullscreenMaterial = Bindings :: Type -> Type
type Extends FullscreenMaterial
Instance details Defined in Mischief.Materials.Fullscreen type Extends FullscreenMaterial = '[] :: [Type]
type Extandable FullscreenMaterial
Instance details Defined in Mischief.Materials.Fullscreen type Extandable FullscreenMaterial = 'True
type IsPhantom FullscreenMaterial
Instance details Defined in Mischief.Materials.Fullscreen type IsPhantom FullscreenMaterial = 'False

Methods

vertex :: VI FullscreenMaterial GPU -> Shader FullscreenMaterial (VO FullscreenMaterial GPU) Source #

fragment :: VO FullscreenMaterial GPU -> Shader FullscreenMaterial (Vec 4 Float) Source #

fetch :: FetchBindings (B FullscreenMaterial) Source #

Material CustomMat Source #

Instance details

Defined in Mischief.Materials.Sprite

Associated Types

type VI CustomMat
Instance details Defined in Mischief.Materials.Sprite type VI CustomMat = VI SpriteMaterial
type VO CustomMat
Instance details Defined in Mischief.Materials.Sprite type VO CustomMat = VO SpriteMaterial
type B CustomMat
Instance details Defined in Mischief.Materials.Sprite type B CustomMat = CustomBindings
type Extends CustomMat
Instance details Defined in Mischief.Materials.Sprite type Extends CustomMat = '[SpriteMaterial, TimeMaterial]
type Extandable CustomMat
Instance details Defined in Mischief.Materials.Sprite type Extandable CustomMat = 'True
type IsPhantom CustomMat
Instance details Defined in Mischief.Materials.Sprite type IsPhantom CustomMat = 'False

Methods

vertex :: VI CustomMat GPU -> Shader CustomMat (VO CustomMat GPU) Source #

fragment :: VO CustomMat GPU -> Shader CustomMat (Vec 4 Float) Source #

fetch :: FetchBindings (B CustomMat) Source #

Material SpriteMaterial Source #

Instance details

Defined in Mischief.Materials.Sprite

Associated Types

type VI SpriteMaterial
Instance details Defined in Mischief.Materials.Sprite type VI SpriteMaterial = VertexInput
type VO SpriteMaterial
Instance details Defined in Mischief.Materials.Sprite type VO SpriteMaterial = VertexOutput
type B SpriteMaterial
Instance details Defined in Mischief.Materials.Sprite type B SpriteMaterial = Bindings
type Extends SpriteMaterial
Instance details Defined in Mischief.Materials.Sprite type Extends SpriteMaterial = '[] :: [Type]
type Extandable SpriteMaterial
Instance details Defined in Mischief.Materials.Sprite type Extandable SpriteMaterial = 'True
type IsPhantom SpriteMaterial
Instance details Defined in Mischief.Materials.Sprite type IsPhantom SpriteMaterial = 'False

Methods

vertex :: VI SpriteMaterial GPU -> Shader SpriteMaterial (VO SpriteMaterial GPU) Source #

fragment :: VO SpriteMaterial GPU -> Shader SpriteMaterial (Vec 4 Float) Source #

fetch :: FetchBindings (B SpriteMaterial) Source #

Material TimeMaterial Source #

Instance details

Defined in Mischief.Materials.Time

Associated Types

type VI TimeMaterial
Instance details Defined in Mischief.Materials.Time type VI TimeMaterial = DefaultVI
type VO TimeMaterial
Instance details Defined in Mischief.Materials.Time type VO TimeMaterial = DefaultVO
type B TimeMaterial
Instance details Defined in Mischief.Materials.Time type B TimeMaterial = Bindings
type Extends TimeMaterial
Instance details Defined in Mischief.Materials.Time type Extends TimeMaterial = '[] :: [Type]
type Extandable TimeMaterial
Instance details Defined in Mischief.Materials.Time type Extandable TimeMaterial = 'True
type IsPhantom TimeMaterial
Instance details Defined in Mischief.Materials.Time type IsPhantom TimeMaterial = 'True

Methods

vertex :: VI TimeMaterial GPU -> Shader TimeMaterial (VO TimeMaterial GPU) Source #

fragment :: VO TimeMaterial GPU -> Shader TimeMaterial (Vec 4 Float) Source #

fetch :: FetchBindings (B TimeMaterial) Source #

Material ClearMaterial Source #

Instance details

Defined in Mischief.Render.Plugin

Associated Types

type VI ClearMaterial
Instance details Defined in Mischief.Render.Plugin type VI ClearMaterial = VertexInput
type VO ClearMaterial
Instance details Defined in Mischief.Render.Plugin type VO ClearMaterial = VertexOutput
type B ClearMaterial
Instance details Defined in Mischief.Render.Plugin type B ClearMaterial = NoBindings :: Type -> Type
type Extends ClearMaterial
Instance details Defined in Mischief.Render.Plugin type Extends ClearMaterial = '[] :: [Type]
type Extandable ClearMaterial
Instance details Defined in Mischief.Render.Plugin type Extandable ClearMaterial = 'True
type IsPhantom ClearMaterial
Instance details Defined in Mischief.Render.Plugin type IsPhantom ClearMaterial = 'False

Methods

vertex :: VI ClearMaterial GPU -> Shader ClearMaterial (VO ClearMaterial GPU) Source #

fragment :: VO ClearMaterial GPU -> Shader ClearMaterial (Vec 4 Float) Source #

fetch :: FetchBindings (B ClearMaterial) Source #

Material DummyFullscreenMaterial Source #

Instance details

Defined in Mischief.Render.Plugin

Associated Types

type VI DummyFullscreenMaterial
Instance details Defined in Mischief.Render.Plugin type VI DummyFullscreenMaterial = VertexInput
type VO DummyFullscreenMaterial
Instance details Defined in Mischief.Render.Plugin type VO DummyFullscreenMaterial = VertexOutput
type B DummyFullscreenMaterial
Instance details Defined in Mischief.Render.Plugin type B DummyFullscreenMaterial = Bindings
type Extends DummyFullscreenMaterial
Instance details Defined in Mischief.Render.Plugin type Extends DummyFullscreenMaterial = '[] :: [Type]
type Extandable DummyFullscreenMaterial
Instance details Defined in Mischief.Render.Plugin type Extandable DummyFullscreenMaterial = 'True
type IsPhantom DummyFullscreenMaterial
Instance details Defined in Mischief.Render.Plugin type IsPhantom DummyFullscreenMaterial = 'False

Methods

vertex :: VI DummyFullscreenMaterial GPU -> Shader DummyFullscreenMaterial (VO DummyFullscreenMaterial GPU) Source #

fragment :: VO DummyFullscreenMaterial GPU -> Shader DummyFullscreenMaterial (Vec 4 Float) Source #

fetch :: FetchBindings (B DummyFullscreenMaterial) Source #

data PhantomMaterial Source #

Constructors

PhantomMaterial

Instances

Instances details

Component PhantomMaterial Source #

Instance details

Defined in Mischief.Render.Material.Definition

Associated Types

type IsExclusiveRel PhantomMaterial
Instance details Defined in Mischief.Render.Material.Definition type IsExclusiveRel PhantomMaterial = 'False

Methods

required :: Set DefaultComponentType #

onAdd :: [Hook PhantomMaterial] #

onSet :: [Hook PhantomMaterial] #

onRemove :: [Hook PhantomMaterial] #

onAddRel :: [HookRel PhantomMaterial] #

onSetRel :: [HookRel PhantomMaterial] #

onRemoveRel :: [HookRel PhantomMaterial] #

type IsExclusiveRel PhantomMaterial Source #

Instance details

Defined in Mischief.Render.Material.Definition

type IsExclusiveRel PhantomMaterial = 'False

data MaterialType where Source #

Constructors

MaterialType :: forall m. Material m => Proxy m -> MaterialType

Instances

Instances details

Component MaterialType Source #

Instance details

Defined in Mischief.Render.Material.Definition

Associated Types

type IsExclusiveRel MaterialType
Instance details Defined in Mischief.Render.Material.Definition type IsExclusiveRel MaterialType = 'False

Methods

required :: Set DefaultComponentType #

onAdd :: [Hook MaterialType] #

onSet :: [Hook MaterialType] #

onRemove :: [Hook MaterialType] #

onAddRel :: [HookRel MaterialType] #

onSetRel :: [HookRel MaterialType] #

onRemoveRel :: [HookRel MaterialType] #

type IsExclusiveRel MaterialType Source #

Instance details

Defined in Mischief.Render.Material.Definition

type IsExclusiveRel MaterialType = 'False

data NoMaterial Source #

liftExt :: forall a b c. ExtensionOf b a => Shader a c -> Shader b c Source #

class Extension (a :: [Type]) where Source #

Methods

collectExtBindings :: Set ErasedBinding Source #

Instances

Instances details

Extension ('[] :: [Type]) Source #
Instance details Defined in Mischief.Render.Material.Definition Methods collectExtBindings :: Set ErasedBinding Source #
(Extension xs, Material a) => Extension (a ': xs) Source #
Instance details Defined in Mischief.Render.Material.Definition Methods collectExtBindings :: Set ErasedBinding Source #

collectBindings :: Material m => Set ErasedBinding Source #

type ExtensionOf a b = (Material a, IsExtensionOf a b ~ 'True) Source #

type family IsExtensionOf a b :: Bool where ... Source #

Equations

IsExtensionOf a NoMaterial = 'True
IsExtensionOf a b = IsExtensionOf' '[a] b

type family IsExtensionOf' (m :: [Type]) target :: Bool where ... Source #

Equations

IsExtensionOf' ('[] :: [Type]) a = 'False
IsExtensionOf' (a ': xs) a = 'True
IsExtensionOf' (a ': xs) t = Or (IsExtensionOf' (Extends a) t) (IsExtensionOf' xs t)

type family Or (a :: Bool) (b :: Bool) :: Bool where ... Source #

Equations

Or 'False 'False = 'False
Or a b = 'True

bindings :: Material a => Shader a (B a GPU) Source #

extension :: (Material e, ExtensionOf a e) => Shader a (B e GPU) Source #

convertFrag :: (VO m GPU -> Shader m (Vec 4 Float)) -> VO m GPU -> Shader m (FragmentOutput GPU) Source #

data FetchBindings (b :: Type -> Type) where Source #

Constructors

FetchBindings
Fields :: forall x y (b :: Type -> Type). Bindable b => { camera :: CameraEntity -> Query System x , mesh :: MeshEntity -> Query System y , result :: x -> y -> b CPU } -> FetchBindings b

newtype FragmentOutput f Source #

Constructors

FragmentOutput
Fields fragOut1 :: Location f 0 (Vec 4 Float)

Instances

Instances details

ShaderParam FragmentOutput Source #

Instance details

Defined in Mischief.Render.Material.Definition

Methods

collectParams :: Params

paramDefinition :: ParamDefinition

dummyParam :: FragmentOutput GPU

collectValues :: FragmentOutput GPU -> Values

Generic (FragmentOutput f) Source #

Instance details

Defined in Mischief.Render.Material.Definition

Associated Types

type Rep (FragmentOutput f)
Instance details Defined in Mischief.Render.Material.Definition type Rep (FragmentOutput f) = D1 ('MetaData "FragmentOutput" "Mischief.Render.Material.Definition" "mischief-render-0.1.0.0-inplace" 'True) (C1 ('MetaCons "FragmentOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "fragOut1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Location f 0 (Vec 4 Float)))))

Methods

from :: FragmentOutput f -> Rep (FragmentOutput f) x #

to :: Rep (FragmentOutput f) x -> FragmentOutput f #

type Rep (FragmentOutput f) Source #

Instance details

Defined in Mischief.Render.Material.Definition

type Rep (FragmentOutput f) = D1 ('MetaData "FragmentOutput" "Mischief.Render.Material.Definition" "mischief-render-0.1.0.0-inplace" 'True) (C1 ('MetaCons "FragmentOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "fragOut1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Location f 0 (Vec 4 Float)))))

blendState :: WGPUBlendState Source #

data DrawCommand (bindings :: k) Source #

Constructors

Draw
Fields binds :: [ErasedBindingValue] vertices :: Nat

drawCommand :: Material m => RenderDevice -> Ptr WGPURenderPassEncoder -> BindLayout -> DrawCommand (B m) -> IO () Source #

render :: Material mat => RenderDevice -> RenderQueue -> RenderPipeline -> RenderOptions -> Texture -> [DrawCommand (B mat)] -> System () Source #

data Clear Source #

Constructors

DontClear
Clear (V3 Float)

data RenderOptions Source #

Constructors

RenderOptions
Fields clear :: Clear nvertices :: Nat

Instances

Instances details

Default RenderOptions Source #
Instance details Defined in Mischief.Render.Material.Definition Methods def :: RenderOptions #