-
Notifications
You must be signed in to change notification settings - Fork 0
/
DescInstances.hs
38 lines (32 loc) · 1.38 KB
/
DescInstances.hs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
module Udon.DescInstances where
import Udon.DataDesc
import qualified Udon.DescCombinators as D
import qualified Data.ByteString as Str
import qualified Data.ByteString.Lazy as StrL
import Data.Ratio
import qualified Data.IntSet as IntSet
import Data.Binary (Binary)
import qualified Data.Map as Map
-- A bunch of binary instances
instance Data Bool where desc = binary
instance Data Char where desc = binary
instance Data Double where desc = binary
instance Data Float where desc = binary
instance Data Int where desc = binary
instance Data Integer where desc = binary
instance Data Ordering where desc = binary
instance Data () where desc = binary
instance Data Str.ByteString where desc = binary
instance Data StrL.ByteString where desc = binary
instance Data IntSet.IntSet where desc = binary
instance (Binary a, Integral a) => Data (Ratio a) where
desc = binary
-- Combinatory instances
instance Data a => Data [a] where desc = D.list desc
instance Data a => Data (Maybe a) where desc = D.descMaybe desc
instance (Data a, Data b) => Data (Either a b) where
desc = D.descEither desc desc
instance (Data a, Data b) => Data (a,b) where
desc = D.pair desc desc
instance (Binary k, Data v) => Data (Map.Map k v) where
desc = D.wrap (Map.fromDistinctAscList, Map.toAscList) $ D.list (D.pair binary desc)