Agda

Safe Haskell	None
Language	Haskell2010

Agda.TypeChecking.Serialise.Node

Synopsis

data Node
- = N0
- | N1# !Word32
- | N2# !Word64
- | N3# !Word64 !Word32
- | N4# !Word64 !Word64
- | N5# !Word64 !Word64 !Word32
- | N6# !Word64 !Word64 !Word64 !Node
pattern N1 :: Word32 -> Node
pattern N2 :: Word32 -> Word32 -> Node
pattern N3 :: Word32 -> Word32 -> Word32 -> Node
pattern N4 :: Word32 -> Word32 -> Word32 -> Word32 -> Node
pattern N5 :: Word32 -> Word32 -> Word32 -> Word32 -> Word32 -> Node
pattern N6 :: Word32 -> Word32 -> Word32 -> Word32 -> Word32 -> Word32 -> Node -> Node

Documentation

data Node Source #

Constructor tag (maybe omitted) and argument indices.

Constructors

N0
N1# !Word32
N2# !Word64
N3# !Word64 !Word32
N4# !Word64 !Word64
N5# !Word64 !Word64 !Word32
N6# !Word64 !Word64 !Word64 !Node

Instances

Instances details

Serialize Node Source #
Instance details Defined in Agda.TypeChecking.Serialise.Node Methods size :: Node -> Int Source # put :: Node -> Put Source # get :: Get Node Source #
Show Node Source #
Instance details Defined in Agda.TypeChecking.Serialise.Node Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
Eq Node Source #
Instance details Defined in Agda.TypeChecking.Serialise.Node Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
Hashable Node Source #
Instance details Defined in Agda.TypeChecking.Serialise.Node Methods hashWithSalt :: Int -> Node -> Int # hash :: Node -> Int #

pattern N1 :: Word32 -> Node Source #

pattern N2 :: Word32 -> Word32 -> Node Source #

pattern N3 :: Word32 -> Word32 -> Word32 -> Node Source #

pattern N4 :: Word32 -> Word32 -> Word32 -> Word32 -> Node Source #

pattern N5 :: Word32 -> Word32 -> Word32 -> Word32 -> Word32 -> Node Source #

pattern N6 :: Word32 -> Word32 -> Word32 -> Word32 -> Word32 -> Word32 -> Node -> Node Source #