Christian Panadero
Christian Panadero
The following values will be allowed: ``` java drawableView.setGravity(Gravity.CENTER_HORIZONTAL); drawableView.setGravity(Gravity.CENTER_VERTICAL); drawableView.setGravity(Gravity.LEFT); drawableView.setGravity(Gravity.RIGHT); drawableView.setGravity(Gravity.TOP); drawableView.setGravity(Gravity.BOTTOM); ``` Or combinations like `drawableView.setGravity(Gravity.LEFT | Gravity.BOTTOM);`
``` {-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableInstances #-} module TypeLevelDefunctionalization where import Data.Kind...
The following attached test will crash when executing, while this is a toy example it can happen if you try to compare equality on two massive objects, I managed to...