Safe Haskell	None
Language	Haskell2010

Alien.FFI

Synopsis

isData :: alienValue -> Bool
data IntList
- = LInt !Integer
- | LCons !IntList !IntList
- | LNil
extractIntList :: alienValue -> IntList
injectIntList :: IntList -> alienValue
newtype Drawing = Drawing [(Integer, Integer)]
newtype AlienState = AlienState IntList
interactWith :: alienValue -> AlienState -> IntList -> (AlienState, Either IntList [Drawing])

Documentation

isData :: alienValue -> Bool Source #

The aliens have clearly ascended past any need for types, using, perhaps some technique like "not making any mistakes in your code". To them, b (s i i) (c b (s i i)) is perfectly valid. To us this is incomprehensible gibberish. It is for this reason that we shall ask the question which no human shall dare ask:

Is this value a data constructor, or a function closure?

data IntList Source #

A squiggle-encodeable structure

Constructors

LInt !Integer
LCons !IntList !IntList
LNil

Instances

Eq IntList Source #
Instance details Defined in Alien.FFI Methods (==) :: IntList -> IntList -> Bool # (/=) :: IntList -> IntList -> Bool #
Ord IntList Source #
Instance details Defined in Alien.FFI Methods compare :: IntList -> IntList -> Ordering # (<) :: IntList -> IntList -> Bool # (<=) :: IntList -> IntList -> Bool # (>) :: IntList -> IntList -> Bool # (>=) :: IntList -> IntList -> Bool # max :: IntList -> IntList -> IntList # min :: IntList -> IntList -> IntList #
Read IntList Source #
Instance details Defined in Alien.FFI Methods readsPrec :: Int -> ReadS IntList # readList :: ReadS [IntList] # readPrec :: ReadPrec IntList # readListPrec :: ReadPrec [IntList] #
Show IntList Source #
Instance details Defined in Alien.FFI Methods showsPrec :: Int -> IntList -> ShowS # show :: IntList -> String # showList :: [IntList] -> ShowS #

extractIntList :: alienValue -> IntList Source #

Extract an IntList from the alien dimension into ours.

injectIntList :: IntList -> alienValue Source #

Inject an IntList into the alien dimension.

newtype Drawing Source #

Constructors

Drawing [(Integer, Integer)]

Instances

Eq Drawing Source #
Instance details Defined in Alien.FFI Methods (==) :: Drawing -> Drawing -> Bool # (/=) :: Drawing -> Drawing -> Bool #
Ord Drawing Source #
Instance details Defined in Alien.FFI Methods compare :: Drawing -> Drawing -> Ordering # (<) :: Drawing -> Drawing -> Bool # (<=) :: Drawing -> Drawing -> Bool # (>) :: Drawing -> Drawing -> Bool # (>=) :: Drawing -> Drawing -> Bool # max :: Drawing -> Drawing -> Drawing # min :: Drawing -> Drawing -> Drawing #
Show Drawing Source #
Instance details Defined in Alien.FFI Methods showsPrec :: Int -> Drawing -> ShowS # show :: Drawing -> String # showList :: [Drawing] -> ShowS #

newtype AlienState Source #

Constructors

AlienState IntList

Instances

Eq AlienState Source #
Instance details Defined in Alien.FFI Methods (==) :: AlienState -> AlienState -> Bool # (/=) :: AlienState -> AlienState -> Bool #
Ord AlienState Source #
Instance details Defined in Alien.FFI Methods compare :: AlienState -> AlienState -> Ordering # (<) :: AlienState -> AlienState -> Bool # (<=) :: AlienState -> AlienState -> Bool # (>) :: AlienState -> AlienState -> Bool # (>=) :: AlienState -> AlienState -> Bool # max :: AlienState -> AlienState -> AlienState # min :: AlienState -> AlienState -> AlienState #
Read AlienState Source #
Instance details Defined in Alien.FFI Methods readsPrec :: Int -> ReadS AlienState # readList :: ReadS [AlienState] # readPrec :: ReadPrec AlienState # readListPrec :: ReadPrec [AlienState] #
Show AlienState Source #
Instance details Defined in Alien.FFI Methods showsPrec :: Int -> AlienState -> ShowS # show :: AlienState -> String # showList :: [AlienState] -> ShowS #

interactWith :: alienValue -> AlienState -> IntList -> (AlienState, Either IntList [Drawing]) Source #