liarokapisv

from conan import ConanFile
from conan.tools.layout import basic_layout
from conan.tools.files import copy, get
from conan.errors import ConanInvalidConfiguration

import os

class ArmToolchainConan(ConanFile):
    name = "arm-toolchain"
    settings = "os", "arch"

liarokapisv

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ViewPatterns #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE QuantifiedConstraints #-}

liarokapisv

{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ViewPatterns #-}

import Data.Comp.Multi.Derive
import Data.Comp.Multi.Algebra

liarokapisv

{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE TemplateHaskell #-}

import Data.Functor.Base
import Data.Functor.Foldable
import Data.Functor.Foldable.TH
import Data.Validation

liarokapisv

{-# LANGUAGE DataKinds            #-}
{-# LANGUAGE GADTs                #-}
{-# LANGUAGE RankNTypes           #-}
{-# LANGUAGE PolyKinds            #-}
{-# LANGUAGE FlexibleContexts     #-}
{-# LANGUAGE StandaloneDeriving   #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE FlexibleInstances    #-}
{-# LANGUAGE PatternSynonyms      #-}

liarokapisv

data NatE = NZero | NDouble NatG
    deriving Show
data NatO = NSucc NatE
    deriving Show
type NatG = Either NatE NatO

toInt0 :: NatE -> Int
toInt0 NZero = 0
toInt0 (NDouble n) = 2 * (toInt n)

liarokapisv

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveTraversable #-}

import Data.Functor.Foldable
import Data.Functor.Foldable.TH

liarokapisv

import game.PlayerModel;
import game.PlayerView;
import game.Player;
import game.GameState;
import java.util.Map;


public class PlayerController
{
  public class PlayerController(Map<Player, PlayerModel> modelMap, Map<Player, PlayerView> viewMap)

liarokapisv

data A
data A'

data B
data B'

data C
data C'

data ExtraX

liarokapisv

  mutual
  
  renameFuncCall : AnnFuncCall ParserAnn -> Renamer (AnnFuncCall RenamerAnn)
  renameFuncCall ((MkFuncCall x xs) .+. y) = [| [| MkFuncCall (renameIdentifier Func x) 
                                                     (traverse renameExpr xs) |] .+. [|y|] |]

  renameExpr : AnnExpr ParserAnn -> Renamer (AnnExpr RenamerAnn)
  renameExpr ((IntConst x) .+. y) = [| [| IntConst (renameIntConst x) |] .+. [|y|] |]
  renameExpr ((CharConst x) .+. y) = [| [| CharConst (renameCharConst x) |] .+. [|y|] |]
  renameExpr ((Lvalue x) .+. y) = [| [| Lvalue (renameLvalue x) |] .+. [|y|] |]