Documentation for the IdrisGL

A 2D graphic library for Idris 2, which is inspired by Gloss. IdrisGL uses SDL under the hood, but you won’t need to worry about any of that.

• Provides functions to build 2D vector graphics, animations, simulations and games.

• Supports most of keyboard events and mouse events.

• Frames per second control.

• Music and sound effects.

Note

This project is under active development.

Table of Content

• Getting Started
  • Dependencies
  • Install with Pack
  • Install from Source Code
  • Checking Installation
  • Import Things You Need
• Begin with Data Types
  • Coordinates
  • Rectangle
  • Colors
  • Window
  • Picture
  • Events
• Display
  • Display a Picture
  • Multiple Pictures
  • Showing Text
  • Loading Images
  • Rotation
  • Other Shapes
  • An Example of Showing Shapes
• Animation
  • Display Pictures at A Specific Time
  • An Example of Clock Animation
  • An Example of Moving Optical Illusions
• Simulation
  • Simulate with Your Own Data Type
  • Dependent Model and An Example of K-Means Clustering
  • Simulate a Model with Monad StateT
• Play
  • Manage Input Events
  • An Example of Tracking Mouse Events
  • Play with Mutable State
  • Using IO Functions in playStateT
  • Design a Game: 2048
  • An Example of a Little RGP
  • An example of using bindings to handle events
• List of Pictures Defined in Picture
  • Basic
  • Images
  • shapes
  • Text
• List of Events Defined in Eve
  • Keyboard Events
  • Mouse events
• Support Keyboard Code (Key)