8
Temelde başka bir veri türüne etiket olarak davranan bir türü var:sarılmış tipin örneğini "Miras"
import Data.Word
data RijndaelField = RF Word8
ben RijndaelField
en basit şekilde Bits
arasında Word8
örneğini "miras" istiyorum:
import Data.Bits
instance Bits RijndaelField where
RF a .&. RF b = RF $ a .&. b
RF a .|. RF b = RF $ a .|. b
RF a `xor` RF b = RF $ a `xor` b
complement (RF a) = RF $ complement a
shift (RF a) n = RF $ shift a n
rotate (RF a) n = RF $ rotate a n
bitSize (RF a) = bitSize a
isSigned (RF a) = isSigned a
testBit (RF a) n = testBit a n
bit n = RF $ bit n
popCount (RF a) = popCount a
RijndaelField
ve Word8
arasındaki ilişkiyi ifade etmek için bir kısa yol var mı?
Tam olarak aradığım şey bu, teşekkür ederim. (Her şey için bir eklenti var!) – Snowball
@Snowball Just about =) Bu, özellikle bir monad transformatörü yığınını tamamlarken kullanışlıdır, derleyicinin "Monad", "Functor", "MonadTrans", MonadState MyState', 'Applicative' ve daha fazlası. Çok sayıda klişe kodu üretmek için çok kullanışlıdır. – bheklilr