Safe Haskell	Safe-Inferred
Language	GHC2021

Engine.Camera

Synopsis

data ProjectionKind
- = Perspective
- | Orthographic
data Projection (pk :: ProjectionKind) = Projection {
- projectionTransform :: Transform
- projectionInverse :: ~Transform
}
type family ProjectionParams (pk :: ProjectionKind) where ...
data ProjectionInput (pk :: ProjectionKind) = ProjectionInput {
- projectionParams :: ProjectionParams pk
- projectionNear :: Float
- projectionFar :: Float
}
type ProjectionProcess pk = Cell (ProjectionInput pk) (Projection pk)
spawnPerspective :: (MonadReader (App GlobalHandles st) m, MonadResource m, MonadUnliftIO m) => m (ProjectionProcess 'Perspective)
mkTransformPerspective :: Extent2D -> ProjectionInput 'Perspective -> Transform
spawnOrthoPixelsCentered :: (MonadReader (App GlobalHandles st) m, MonadResource m, MonadUnliftIO m) => m (ProjectionProcess 'Orthographic)
mkTransformOrthoPixelsCentered :: Extent2D -> ProjectionInput 'Orthographic -> Transform
trackOrthoPixelsCentered :: (MonadReader (App GlobalHandles st) m, MonadResource m, MonadUnliftIO m) => m (Merge Box)
spawnProjectionWith :: (MonadReader (App GlobalHandles st) m, MonadResource m, MonadUnliftIO m) => (Extent2D -> ProjectionInput pk -> Transform) -> ProjectionInput pk -> m (ProjectionProcess pk)
spawnProjection :: (MonadReader (App GlobalHandles st) m, MonadResource m, MonadUnliftIO m) => (Extent2D -> ProjectionInput pk -> Transform) -> ProjectionParams pk -> m (ProjectionProcess pk)
pattern PROJECTION_NEAR :: (Eq a, Num a, Fractional a) => a
pattern PROJECTION_FAR :: (Eq a, Num a) => a
data View = View {
- viewTransform :: Transform
- viewTransformInv :: Transform
- viewPosition :: Vec3
- viewDirection :: Vec3
}
type ViewProcess = Cell ViewOrbitalInput View
data ViewOrbitalInput = ViewOrbitalInput {
- orbitAzimuth :: Float
- orbitAscent :: Float
- orbitDistance :: Float
- orbitScale :: Float
- orbitTarget :: Vec3
- orbitUp :: Vec3
- orbitRight :: Vec3
}
initialOrbitalInput :: ViewOrbitalInput
mkViewOrbital :: Vec3 -> ViewOrbitalInput -> View
mkViewOrbital_ :: ViewOrbitalInput -> View

Documentation

data ProjectionKind Source #

Constructors

Perspective
Orthographic

Instances

Instances details

Bounded ProjectionKind Source #
Instance details Defined in Engine.Camera Methods minBound :: ProjectionKind # maxBound :: ProjectionKind #
Enum ProjectionKind Source #
Instance details Defined in Engine.Camera Methods succ :: ProjectionKind -> ProjectionKind # pred :: ProjectionKind -> ProjectionKind # toEnum :: Int -> ProjectionKind # fromEnum :: ProjectionKind -> Int # enumFrom :: ProjectionKind -> [ProjectionKind] # enumFromThen :: ProjectionKind -> ProjectionKind -> [ProjectionKind] # enumFromTo :: ProjectionKind -> ProjectionKind -> [ProjectionKind] # enumFromThenTo :: ProjectionKind -> ProjectionKind -> ProjectionKind -> [ProjectionKind] #
Generic ProjectionKind Source #
Instance details Defined in Engine.Camera Associated Types type Rep ProjectionKind :: Type -> Type # Methods from :: ProjectionKind -> Rep ProjectionKind x # to :: Rep ProjectionKind x -> ProjectionKind #
Show ProjectionKind Source #
Instance details Defined in Engine.Camera Methods showsPrec :: Int -> ProjectionKind -> ShowS # show :: ProjectionKind -> String # showList :: [ProjectionKind] -> ShowS #
Eq ProjectionKind Source #
Instance details Defined in Engine.Camera Methods (==) :: ProjectionKind -> ProjectionKind -> Bool # (/=) :: ProjectionKind -> ProjectionKind -> Bool #
Ord ProjectionKind Source #
Instance details Defined in Engine.Camera Methods compare :: ProjectionKind -> ProjectionKind -> Ordering # (<) :: ProjectionKind -> ProjectionKind -> Bool # (<=) :: ProjectionKind -> ProjectionKind -> Bool # (>) :: ProjectionKind -> ProjectionKind -> Bool # (>=) :: ProjectionKind -> ProjectionKind -> Bool # max :: ProjectionKind -> ProjectionKind -> ProjectionKind # min :: ProjectionKind -> ProjectionKind -> ProjectionKind #
type Rep ProjectionKind Source #
Instance details Defined in Engine.Camera type Rep ProjectionKind = D1 ('MetaData "ProjectionKind" "Engine.Camera" "keid-core-0.1.9.0-inplace" 'False) (C1 ('MetaCons "Perspective" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Orthographic" 'PrefixI 'False) (U1 :: Type -> Type))

data Projection (pk :: ProjectionKind) Source #

Constructors

Projection
Fields projectionTransform :: Transform projectionInverse :: ~Transform

Instances

Instances details

Generic (Projection pk) Source #
Instance details Defined in Engine.Camera Associated Types type Rep (Projection pk) :: Type -> Type # Methods from :: Projection pk -> Rep (Projection pk) x # to :: Rep (Projection pk) x -> Projection pk #
Show (Projection pk) Source #
Instance details Defined in Engine.Camera Methods showsPrec :: Int -> Projection pk -> ShowS # show :: Projection pk -> String # showList :: [Projection pk] -> ShowS #
type Rep (Projection pk) Source #
Instance details Defined in Engine.Camera type Rep (Projection pk) = D1 ('MetaData "Projection" "Engine.Camera" "keid-core-0.1.9.0-inplace" 'False) (C1 ('MetaCons "Projection" 'PrefixI 'True) (S1 ('MetaSel ('Just "projectionTransform") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Transform) :*: S1 ('MetaSel ('Just "projectionInverse") 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 Transform)))

type family ProjectionParams (pk :: ProjectionKind) where ... Source #

Equations

ProjectionParams 'Perspective = "fov-v" ::: Float
ProjectionParams 'Orthographic = ()

data ProjectionInput (pk :: ProjectionKind) Source #

Constructors

ProjectionInput
Fields projectionParams :: ProjectionParams pk projectionNear :: Float projectionFar :: Float

type ProjectionProcess pk = Cell (ProjectionInput pk) (Projection pk) Source #

spawnPerspective :: (MonadReader (App GlobalHandles st) m, MonadResource m, MonadUnliftIO m) => m (ProjectionProcess 'Perspective) Source #

Spawn a perspective projection worker with initial FoV of 90 degrees.

mkTransformPerspective :: Extent2D -> ProjectionInput 'Perspective -> Transform Source #

spawnOrthoPixelsCentered :: (MonadReader (App GlobalHandles st) m, MonadResource m, MonadUnliftIO m) => m (ProjectionProcess 'Orthographic) Source #

mkTransformOrthoPixelsCentered :: Extent2D -> ProjectionInput 'Orthographic -> Transform Source #

trackOrthoPixelsCentered :: (MonadReader (App GlobalHandles st) m, MonadResource m, MonadUnliftIO m) => m (Merge Box) Source #

spawnProjectionWith :: (MonadReader (App GlobalHandles st) m, MonadResource m, MonadUnliftIO m) => (Extent2D -> ProjectionInput pk -> Transform) -> ProjectionInput pk -> m (ProjectionProcess pk) Source #

spawnProjection :: (MonadReader (App GlobalHandles st) m, MonadResource m, MonadUnliftIO m) => (Extent2D -> ProjectionInput pk -> Transform) -> ProjectionParams pk -> m (ProjectionProcess pk) Source #

pattern PROJECTION_NEAR :: (Eq a, Num a, Fractional a) => a Source #

pattern PROJECTION_FAR :: (Eq a, Num a) => a Source #

data View Source #

Constructors

View
Fields viewTransform :: Transform viewTransformInv :: Transform viewPosition :: Vec3 viewDirection :: Vec3

Instances

Instances details

Show View Source #
Instance details Defined in Engine.Camera Methods showsPrec :: Int -> View -> ShowS # show :: View -> String # showList :: [View] -> ShowS #

type ViewProcess = Cell ViewOrbitalInput View Source #

data ViewOrbitalInput Source #

Camera orbiting its target

Constructors

ViewOrbitalInput
Fields orbitAzimuth :: Float orbitAscent :: Float orbitDistance :: Float orbitScale :: Float orbitTarget :: Vec3 orbitUp :: Vec3 orbitRight :: Vec3

Instances

Instances details

Show ViewOrbitalInput Source #
Instance details Defined in Engine.Camera Methods showsPrec :: Int -> ViewOrbitalInput -> ShowS # show :: ViewOrbitalInput -> String # showList :: [ViewOrbitalInput] -> ShowS #

initialOrbitalInput :: ViewOrbitalInput Source #

mkViewOrbital :: Vec3 -> ViewOrbitalInput -> View Source #

mkViewOrbital_ :: ViewOrbitalInput -> View Source #