thunderstrike/purescript-gitea
thunderstrike/purescript-gitea
2
0
Fork 0
generated from tpl/purs
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: deserialization

Browse Source
This commit is contained in:
orion 2023-11-28 00:38:02 -06:00
parent bd2d3ff486
commit 4dbc94624a
Signed by: orion
GPG Key ID: 6D4165AE4C928719
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/Gitea.Types.purs
View File

@ -2,6 +2,7 @@ module Gitea.Types where
import Prelude import Prelude
import Data.Maybe (Maybe)
import Data.Newtype (class Newtype) import Data.Newtype (class Newtype)
import Foreign.Object (Object) import Foreign.Object (Object)
import Simple.JSON (class ReadForeign, class WriteForeign) import Simple.JSON (class ReadForeign, class WriteForeign)
@ -281,7 +282,7 @@ type RepoGiteaSettingsMutable r =
type RepoSectionGiteaStatsMutable r = type RepoSectionGiteaStatsMutable r =
( "template" :: Boolean ( "template" :: Boolean
, "external_wiki" :: RepoExternalWiki , "external_wiki" :: Maybe RepoExternalWiki
| r | r
) )
@ -294,7 +295,7 @@ type RepoSectionGiteaStatsImmutable r =
, "watchers_count" :: Int , "watchers_count" :: Int
, "fork" :: Boolean , "fork" :: Boolean
, "forks_count" :: Int , "forks_count" :: Int
, "repo_transfer" :: RepoTransfer , "repo_transfer" :: Maybe RepoTransfer
| r | r
) )
@ -325,8 +326,8 @@ type RepoSectionStatsImmutable r =
) )
type RepoSectionTrackerMutable r = type RepoSectionTrackerMutable r =
( "external_tracker" :: RepoExternalTracker ( "external_tracker" :: Maybe RepoExternalTracker
, "internal_tracker" :: RepoInternalTracker , "internal_tracker" :: Maybe RepoInternalTracker
| r | r
) )