2018-06-05 22:26:42 +03:00
|
|
|
(Module
|
|
|
|
(Empty)
|
2018-06-07 00:42:25 +03:00
|
|
|
(Statements
|
|
|
|
(GADT
|
|
|
|
(Empty)
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 00:42:25 +03:00
|
|
|
(Statements
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
|
|
|
(TypeVariableIdentifier)
|
|
|
|
(TypeVariableIdentifier))
|
2018-06-07 01:41:57 +03:00
|
|
|
(Empty))
|
2018-06-07 00:42:25 +03:00
|
|
|
(Statements
|
|
|
|
(GADTConstructor
|
|
|
|
(Empty)
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-06 02:01:56 +03:00
|
|
|
(FunctionType
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
2018-06-07 01:41:57 +03:00
|
|
|
(TypeParameters)
|
|
|
|
(Empty))
|
2018-06-06 02:01:56 +03:00
|
|
|
(FunctionType
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
2018-06-07 01:41:57 +03:00
|
|
|
(TypeParameters)
|
|
|
|
(Empty))
|
2018-06-07 00:42:25 +03:00
|
|
|
(FunctionType
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
2018-06-07 01:41:57 +03:00
|
|
|
(TypeParameters)
|
|
|
|
(Empty))
|
2018-06-07 00:42:25 +03:00
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 00:42:25 +03:00
|
|
|
(TypeParameters
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
|
|
|
(TypeVariableIdentifier)
|
|
|
|
(TypeVariableIdentifier))
|
2018-06-07 01:41:57 +03:00
|
|
|
(Empty))))))))
|
2018-06-07 00:42:25 +03:00
|
|
|
(GADT
|
|
|
|
(Empty)
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 00:42:25 +03:00
|
|
|
(Statements
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
|
|
|
(TypeVariableIdentifier))
|
2018-06-07 01:41:57 +03:00
|
|
|
(Empty))
|
2018-06-07 00:42:25 +03:00
|
|
|
(Statements
|
|
|
|
(GADTConstructor
|
|
|
|
(Empty)
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 00:42:25 +03:00
|
|
|
(FunctionType
|
|
|
|
(Type
|
|
|
|
(Statements
|
|
|
|
(Field
|
|
|
|
(Statements
|
2018-06-08 22:05:17 +03:00
|
|
|
(VariableIdentifier))
|
2018-06-07 00:42:25 +03:00
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 00:42:25 +03:00
|
|
|
(TypeParameters
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier))
|
2018-06-07 01:41:57 +03:00
|
|
|
(Empty)))
|
2018-06-07 00:42:25 +03:00
|
|
|
(Field
|
|
|
|
(Statements
|
2018-06-08 22:05:17 +03:00
|
|
|
(VariableIdentifier))
|
2018-06-07 00:42:25 +03:00
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
2018-06-07 00:42:25 +03:00
|
|
|
(TypeParameters
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier))
|
2018-06-07 01:41:57 +03:00
|
|
|
(Empty))))
|
|
|
|
(TypeParameters)
|
|
|
|
(Empty))
|
2018-06-07 00:42:25 +03:00
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 00:42:25 +03:00
|
|
|
(TypeParameters
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
|
|
|
(TypeVariableIdentifier))
|
2018-06-07 01:41:57 +03:00
|
|
|
(Empty))))))
|
|
|
|
(GADT
|
|
|
|
(Empty)
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 01:41:57 +03:00
|
|
|
(Statements
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier))
|
2018-06-07 01:41:57 +03:00
|
|
|
(KindSignature
|
|
|
|
(KindFunctionType
|
|
|
|
(Kind
|
|
|
|
(KindListType
|
|
|
|
(Star)))
|
|
|
|
(Kind
|
|
|
|
(Star)))))
|
2018-06-07 02:53:48 +03:00
|
|
|
(Statements))
|
|
|
|
(GADT
|
|
|
|
(Empty)
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:53:48 +03:00
|
|
|
(Statements
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier))
|
2018-06-07 02:53:48 +03:00
|
|
|
(Empty))
|
|
|
|
(Statements
|
|
|
|
(GADTConstructor
|
|
|
|
(Empty)
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:53:48 +03:00
|
|
|
(FunctionType
|
|
|
|
(Type
|
|
|
|
(StrictType
|
|
|
|
(QualifiedTypeConstructorIdentifier
|
2018-06-08 22:05:17 +03:00
|
|
|
(ModuleIdentifier)
|
|
|
|
(TypeConstructorIdentifier))
|
2018-06-07 02:53:48 +03:00
|
|
|
(TypeParameters))
|
|
|
|
(TypeParameters)
|
|
|
|
(Empty))
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:53:48 +03:00
|
|
|
(TypeParameters
|
|
|
|
(QualifiedTypeConstructorIdentifier
|
2018-06-08 22:05:17 +03:00
|
|
|
(ModuleIdentifier)
|
|
|
|
(TypeConstructorIdentifier)))
|
2018-06-07 02:53:48 +03:00
|
|
|
(Empty))))
|
|
|
|
(GADTConstructor
|
|
|
|
(Empty)
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:53:48 +03:00
|
|
|
(FunctionType
|
|
|
|
(Type
|
|
|
|
(StrictType
|
|
|
|
(QualifiedTypeConstructorIdentifier
|
2018-06-08 22:05:17 +03:00
|
|
|
(ModuleIdentifier)
|
|
|
|
(TypeConstructorIdentifier))
|
2018-06-07 02:53:48 +03:00
|
|
|
(TypeParameters))
|
|
|
|
(TypeParameters)
|
|
|
|
(Empty))
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:53:48 +03:00
|
|
|
(TypeParameters
|
|
|
|
(QualifiedTypeConstructorIdentifier
|
2018-06-08 22:05:17 +03:00
|
|
|
(ModuleIdentifier)
|
|
|
|
(TypeConstructorIdentifier)))
|
2018-06-07 02:53:48 +03:00
|
|
|
(Empty))))
|
|
|
|
(GADTConstructor
|
|
|
|
(Empty)
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:53:48 +03:00
|
|
|
(FunctionType
|
|
|
|
(Type
|
|
|
|
(StrictType
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:53:48 +03:00
|
|
|
(TypeParameters))
|
|
|
|
(TypeParameters)
|
|
|
|
(Empty))
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:53:48 +03:00
|
|
|
(TypeParameters
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier))
|
2018-06-07 02:58:54 +03:00
|
|
|
(Empty))))))
|
|
|
|
(GADT
|
|
|
|
(Empty)
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:58:54 +03:00
|
|
|
(Statements
|
2018-06-07 03:03:27 +03:00
|
|
|
(AnnotatedTypeVariable
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
2018-06-07 03:03:27 +03:00
|
|
|
(KindListType
|
|
|
|
(KindFunctionType
|
|
|
|
(Kind
|
|
|
|
(Star))
|
|
|
|
(Kind
|
|
|
|
(Star)))))
|
|
|
|
(AnnotatedTypeVariable
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
2018-06-07 03:03:27 +03:00
|
|
|
(Star)))
|
2018-06-07 02:58:54 +03:00
|
|
|
(Empty))
|
|
|
|
(Statements
|
|
|
|
(GADTConstructor
|
|
|
|
(Empty)
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-25 21:20:30 +03:00
|
|
|
(Statements
|
2018-06-07 02:58:54 +03:00
|
|
|
(Pragma)
|
|
|
|
(FunctionType
|
|
|
|
(Type
|
|
|
|
(StrictType
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:58:54 +03:00
|
|
|
(TypeParameters))
|
|
|
|
(TypeParameters)
|
|
|
|
(Empty))
|
|
|
|
(FunctionType
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
2018-06-07 02:58:54 +03:00
|
|
|
(TypeParameters
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier))
|
2018-06-07 02:58:54 +03:00
|
|
|
(Empty))
|
|
|
|
(Type
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeConstructorIdentifier)
|
2018-06-07 02:58:54 +03:00
|
|
|
(TypeParameters
|
2018-06-08 22:05:17 +03:00
|
|
|
(TypeVariableIdentifier)
|
|
|
|
(TypeVariableIdentifier))
|
2018-06-07 02:58:54 +03:00
|
|
|
(Empty))))))))))
|