This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# linux-TkG config file | |
# Linux distribution you are using, options are "Arch", "Ubuntu", "Debian", "Fedora", "Suse", "Gentoo", "Generic". | |
# It is automatically set to "Arch" when using PKGBUILD. | |
# If left empty, the script will prompt | |
_distro="Arch" | |
# Kernel Version - Options are "5.4", and from "5.7" to "5.19" | |
# you can also set a specific kernel version, e.g. "6.0-rc4" or "5.10.51", | |
# -> note however that a "z" too small on a "x.y.z" version may make patches fail |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
appID | releaseDate | title | developerName | publisherName | |
---|---|---|---|---|---|
1059220 | 2022-04-07 | '83 | Antimatter Games | Toadman Interactive | |
422890 | 2021-10-22 | 22 Racing Series | GOATi Entertainment | GOATi Entertainment | |
2022-02-28 | 7 Days Salvation | Volla Games | Volla Games | ||
2022-09-30 | 7abrynth | Backstage Games | 505 Games | ||
1182900 | 2022-06-28 | A Plague Tale: Requiem | Asobo Studio | Focus Home Interactive | |
2022-01-01 | A-Train 10 | Artdink Corporation | DEGICA Co. Ltd. | ||
2022-01-11 | ADA (code name) | Dontnod Entertainment | Dontnod Entertainment | ||
1368030 | 2021-10-15 | ANNO: Mutationem | Thinking Stars | Lightning Games | |
2023-07-25 | ARK 2 | Studio Wildcard | Studio Wildcard |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"id":"6779561637419535618", | |
"desc":"Ara 🐩Woah #woah #woahchallenge #foryou #tiktok #poodle #dogchallenge #dog #trick #dogtrick #이아라 #킴미소", | |
"createTime":1578489704, | |
"video":{ | |
"id":"awesome", | |
"height":960, | |
"width":540, | |
"duration":13, | |
"ratio":"720p", |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
instance Monad f => Applicative (OptionalT f) where | |
pure :: | |
a | |
-> OptionalT f a | |
pure = | |
OptionalT . return . pure | |
(<*>) :: | |
OptionalT f (a -> b) | |
-> OptionalT f a | |
-> OptionalT f b |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
instance Monad f => Applicative (OptionalT f) where | |
pure :: | |
a | |
-> OptionalT f a | |
pure = | |
OptionalT . pure . pure | |
(<*>) :: | |
OptionalT f (a -> b) | |
-> OptionalT f a | |
-> OptionalT f b |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE DeriveGeneric #-} | |
{-# LANGUAGE EmptyCase #-} | |
{-# LANGUAGE GADTs #-} | |
module Main where | |
import Data.Void | |
import Data.Functor.Contravariant | |
import Data.Functor.Contravariant.Divisible |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
newtype HasName a = | |
HasName (a -> String) | |
data A = A deriving (Show) | |
data B = B deriving (Show) | |
data C = C deriving (Show) | |
aName :: HasName A |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
struct A { char* name = "A"; }; | |
struct B { char* name = "B"; }; | |
auto dispatch = [](int n, auto continuation) { | |
switch (n) { | |
case 0: return continuation(A{}); | |
case 1: return continuation(B{}); | |
} | |
// throw or something here | |
}; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE DeriveGeneric #-} | |
{-# LANGUAGE EmptyCase #-} | |
{-# LANGUAGE GADTs #-} | |
module Main where | |
import Data.Void | |
import Data.Functor.Contravariant | |
import Data.Functor.Contravariant.Divisible |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// in main | |
Game game; | |
game.pushState(std::make_unique<PlayState>(game)); | |
game.gameLoop(); | |
// Game class | |
using GameStatePtr = std::unique_ptr<IGameState>; | |
using GameStateStack = std::stack<GameStatePtr>; | |
using MaybeGameStatePtr = std::optional<IGameState*>; |
NewerOlder