Compare commits

..

No commits in common. "2628b42a54ae36ac4706114ed7a0abb6d52eefd5" and "fbc61e9458739c3c9ee82b0fcc9428a77b899595" have entirely different histories.

8 changed files with 0 additions and 179 deletions

8
.gitignore vendored
View file

@ -3,11 +3,3 @@
build/ build/
*.*~ *.*~
**/.DS_Store
# Ignore output images
*.ppm
*.png
*.jpg
*.gif

View file

@ -8,12 +8,3 @@ langversion >= 0.5.1
sourcedir = "src" sourcedir = "src"
readme = "README.md" readme = "README.md"
depends = numidr >= 0.2.1
modules = Render.Color,
Render.Camera,
Render.Object,
Render.Scene,
Render.Object.Interface,
Render.Object.Point

View file

@ -1,30 +0,0 @@
module Render.Camera
import Data.Vect
import Data.NumIdr
import Render.Color
%default total
public export
record Camera where
constructor MkCamera
matrix : Rigid 2 Double
scenew, sceneh : Double
pixw, pixh : Nat
public export
PictureType : Camera -> Type
PictureType cam = Array [cam.pixh, cam.pixw, 3] Double
export
pointToPix : Camera -> Point 2 Double -> Point 2 Integer
pointToPix (MkCamera mat sw sh pw ph) p =
let pw' = cast pw
ph' = cast ph
p' = applyInv mat p
in point [cast (p'.x / sw * pw' + pw' / 2), cast (p'.y / sh * ph' + ph' / 2)]

View file

@ -1,24 +0,0 @@
module Render.Color
import Data.Vect
import Data.NumIdr
%default total
public export
Color : Type
Color = Vector 3 Double
public export
ColorAlpha : Type
ColorAlpha = (Vector 3 Double, Double)
export
toAlpha : Color -> ColorAlpha
toAlpha = (,1)
export
over : ColorAlpha -> Color -> Color
over (ca,a) cb = lerp a cb ca

View file

@ -1,14 +0,0 @@
module Render.Object
import Data.Vect
import Render.Camera
import Render.Color
import public Render.Object.Interface
import public Render.Object.Point
%default total
public export
data Object : Type where
MkObject : IsObject obj => obj -> Object

View file

@ -1,11 +0,0 @@
module Render.Object.Interface
import Data.Vect
import Render.Color
import Render.Camera
%default total
public export
interface IsObject obj where
draw : obj -> Camera -> List (Integer, Integer, ColorAlpha)

View file

@ -1,23 +0,0 @@
module Render.Object.Point
import Data.Vect
import Data.NumIdr
import Render.Color
import Render.Camera
import Render.Object.Interface
%default total
public export
record Point where
constructor MkPoint
pos : Point 2 Double
color : ColorAlpha
export
IsObject Point where
draw (MkPoint pos col) cam =
let p = pointToPix cam pos
in [(p.x,p.y,col)]

View file

@ -1,60 +0,0 @@
module Render.Scene
import Data.DPair
import Data.Vect
import Data.IORef
import Data.Buffer
import System.File
import Data.NumIdr
import Render.Color
import Render.Camera
import Render.Object
%default total
public export
record Scene where
constructor MkScene
objects : List Object
bgcolor : Color
export
render : (cam : Camera) -> Scene -> PictureType cam
render cam sc = joinAxes $ foldl drawObject (repeat _ sc.bgcolor) sc.objects
where
drawPixel : (Integer, Integer, ColorAlpha) -> Array [cam.pixh, cam.pixw] Color -> Array [cam.pixh, cam.pixw] Color
drawPixel (x, y, col) arr = fromMaybe arr $ do
x' <- integerToFin x _
y' <- integerToFin y _
pure $ indexUpdate [y',x'] (over col) arr
drawObject : Array [cam.pixh, cam.pixw] Color -> Object -> Array [cam.pixh, cam.pixw] Color
drawObject pic (MkObject obj) =
let pixs = draw obj cam
in foldr drawPixel pic pixs
export
renderToPPM : HasIO io => (dest : String) -> Camera -> Scene -> io (Either FileError ())
renderToPPM dest cam sc = do
let bufsize = cast cam.pixw * cast cam.pixh * 3
Just buf <- newBuffer bufsize
| Nothing => pure $ Right ()
let pic = render cam sc
ind <- newIORef 0
for_ pic $ \x => do
i <- readIORef ind
setByte buf i (cast $ x * 255)
modifyIORef ind (+1)
_ <- if !(exists dest) then removeFile {io} dest else pure $ Right ()
Right h <- openFile dest Append
| Left err => pure $ Left err
Right () <- fPutStrLn h "P6\n\{show cam.pixw} \{show cam.pixh}\n255"
| Left err => pure $ Left err
Right () <- writeBufferData h buf 0 bufsize
| Left (err,_) => pure $ Left err
pure $ Right ()